diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/tools/Makefile b/tools/Makefile index 4ea2cdd32d21..5059ade93092 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -8,12 +8,9 @@ ##===----------------------------------------------------------------------===## CLANG_LEVEL := .. -DIRS := driver libclang c-index-test arcmt-test c-arcmt-test diagtool +DIRS := driver libclang c-index-test arcmt-test c-arcmt-test diagtool \ + clang-check include $(CLANG_LEVEL)/../../Makefile.config -ifeq ($(OS), $(filter $(OS), Minix)) -DIRS := $(filter-out libclang c-index-test, arcmt-test, $(DIRS)) -endif - include $(CLANG_LEVEL)/Makefile |