diff options
-rw-r--r-- | tools/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index dad767cf45..e7aa2fa4ff 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -9,9 +9,12 @@ CLANG_LEVEL := .. +include $(CLANG_LEVEL)/../../Makefile.config + DIRS := driver libclang c-index-test arcmt-test c-arcmt-test diagtool \ - clang-check $(patsubst %/Makefile,%,$(wildcard extra/Makefile)) + clang-check -include $(CLANG_LEVEL)/../../Makefile.config +# Recurse into the extra repository of tools if present. +OPTIONAL_DIRS := extra include $(CLANG_LEVEL)/Makefile |