diff options
Diffstat (limited to 'External/Makefile')
| -rw-r--r-- | External/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/External/Makefile b/External/Makefile index e2ca8a76..8dee2cf4 100644 --- a/External/Makefile +++ b/External/Makefile @@ -8,7 +8,7 @@ include ${LEVEL}/Makefile.config # # Create the list of directories to compile # -DIRS := $(sort $(filter-out CVS/, $(wildcard */))) +DIRS := SPEC ifndef USE_SPEC DIRS := $(filter-out SPEC/, $(DIRS)) endif |