diff options
| author | Joe Onorato <joeo@google.com> | 2012-05-18 20:41:38 -0700 |
|---|---|---|
| committer | Joe Onorato <joeo@google.com> | 2012-08-16 22:45:55 -0700 |
| commit | 10649c632d7e4385909424473ad5a566177216b2 (patch) | |
| tree | 87daa155ff1956f707895ca0eb22b5f463c31591 | |
| parent | 89675239581fad0366f9159068fec3460bdca232 (diff) | |
| download | build-10649c632d7e4385909424473ad5a566177216b2.zip build-10649c632d7e4385909424473ad5a566177216b2.tar.gz build-10649c632d7e4385909424473ad5a566177216b2.tar.bz2 | |
Add a phony "nothing" goal that reads the makefiles but doesn't try to build anything.
Change-Id: Idac551e5c796321e993b94761f5cbf5b55c1a994
| -rw-r--r-- | core/main.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/main.mk b/core/main.mk index 49367ec..5f94c63 100644 --- a/core/main.mk +++ b/core/main.mk @@ -903,3 +903,7 @@ modules: .PHONY: showcommands showcommands: @echo >/dev/null + +.PHONY: nothing +nothing: + @echo Successfully read the makefiles. |