diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/Makefile b/tools/Makefile index 5a9c674..bfd5ad1 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -13,8 +13,7 @@ DIRS := driver CIndex c-index-test include $(LEVEL)/Makefile.config ifeq ($(OS), $(filter $(OS), Cygwin MingW)) -DIRS := $(filter $(DIRS), CIndex) -DIRS := $(filter $(DIRS), c-index-test) +DIRS := $(filter-out CIndex c-index-test, $(DIRS)) endif include $(LEVEL)/Makefile.common |
