diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/tools/Makefile b/tools/Makefile index b33c74d..94032d2 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -11,15 +11,29 @@ CLANG_LEVEL := .. include $(CLANG_LEVEL)/../../Makefile.config -DIRS := driver libclang c-index-test arcmt-test c-arcmt-test diagtool \ - clang-check clang-format +DIRS := +PARALLEL_DIRS := driver diagtool + +ifeq ($(ENABLE_CLANG_REWRITER),1) + PARALLEL_DIRS += clang-format +endif + +ifeq ($(ENABLE_CLANG_STATIC_ANALYZER), 1) + PARALLEL_DIRS += clang-check +endif + +ifeq ($(ENABLE_CLANG_ARCMT), 1) + DIRS += libclang c-index-test c-arcmt-test + PARALLEL_DIRS += arcmt-test +endif # Recurse into the extra repository of tools if present. -OPTIONAL_DIRS := extra +OPTIONAL_PARALLEL_DIRS := extra ifeq ($(BUILD_CLANG_ONLY),YES) - DIRS := driver libclang c-index-test - OPTIONAL_DIRS := + DIRS := libclang c-index-test + PARALLEL_DIRS := driver + OPTIONAL_PARALLEL_DIRS := endif include $(CLANG_LEVEL)/Makefile |
