diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile b/Makefile index 44a9b836..ec197a4a 100644 --- a/Makefile +++ b/Makefile @@ -14,11 +14,7 @@ LEVEL = . include $(LEVEL)/Makefile.config -DIRS = lib -ifeq ($(ENABLE_EXT_STP),0) - DIRS += stp -endif -DIRS += tools runtime +DIRS = lib tools runtime EXTRA_DIST = include # Only build support directories when building unittests. |