aboutsummaryrefslogtreecommitdiff
path: root/extended
diff options
context:
space:
mode:
Diffstat (limited to 'extended')
-rw-r--r--extended/Makefile10
1 files changed, 6 insertions, 4 deletions
diff --git a/extended/Makefile b/extended/Makefile
index 84a6329..73a7e57 100644
--- a/extended/Makefile
+++ b/extended/Makefile
@@ -8,14 +8,16 @@
##======================================================================
## Variables
+SUBDIRS_TEST = sprinkler
SUBDIRS = \
flite \
gfsm \
deque \
readdir \
weightmap \
- pdstring \
- sprinkler
+ pdstring
+
+# sprinkler
##-- 'pdstring' and 'sprinkler' are already in 'flatspace' ... should they be moved here?
## -> 2008-08: removed any2string,string2any,pdstring from flatspace
@@ -223,9 +225,9 @@ readdir.cvsclean: readdir.extclean
##======================================================================
## Rules: subdirectory: sprinkler
-## + one directory higher in the tree than usual...
+## + (used to be one directory higher in the tree than usual...)
-SPRINKLER_DIR ?=../../sprinkler
+SPRINKLER_DIR ?=../sprinkler
SPRINKLER_CONFIGURE_ARGS ?=
sprinkler.autogen_stamp:
(cd $(SPRINKLER_DIR); sh ./autogen.sh) || true