aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure16
1 files changed, 16 insertions, 0 deletions
diff --git a/configure b/configure
index 3328319..73d5610 100755
--- a/configure
+++ b/configure
@@ -193,6 +193,22 @@ distclean: clean
rm Makefile
EOF
+# dynstr has no distclean target as of the time of this writing.
+
+if [ $in_tree_libweb -ne 0 ]
+then
+cat <<"EOF" >> $F
+ +cd libweb && $(MAKE) distclean
+EOF
+fi
+
+if [ $in_tree_fdzipstream -ne 0 ]
+then
+cat <<"EOF" >> $F
+ +cd fdzipstream && $(MAKE) distclean
+EOF
+fi
+
cat <<"EOF" >> $F
-include $(DEPS)
EOF