diff options
Diffstat (limited to 'tools/check/Makefile')
| -rw-r--r-- | tools/check/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/check/Makefile b/tools/check/Makefile index 744f0983b5..4605c03c39 100644 --- a/tools/check/Makefile +++ b/tools/check/Makefile @@ -1,7 +1,9 @@ +.PHONY: all all: build # Check this machine is OK for building on. +.PHONY: build build: ./chk build @@ -9,8 +11,10 @@ build: # DO NOT use this check from 'make install' in the parent # directory, as that target can be used to make an installable # copy rather than actually installing. +.PHONY: install install: ./chk install +.PHONY: clean clean: - ./chk clean
\ No newline at end of file + ./chk clean |