When distcleaning in utils/, distclean (rather then merely clean) the utils

diff --git a/utils/Makefile b/utils/Makefile
index 6dc6838..c75e670 100644 (file)
--- a/utils/Makefile
+++ b/utils/Makefile
@@ -64,7 +64,9 @@ binary-dist: $(foreach P,$(WITH_STAGE1),binary-dist.$P)
        echo $(WHERE_AM_I)/Makefile >> $(BIN_DIST_LIST)
        set -e; for d in $(SUBDIRS); do $(MAKE) -C $$d binary-dist WHERE_AM_I=$(WHERE_AM_I)/$$d; done
 
-clean distclean:: $(foreach P,$(WITH_EITHER),clean.$P)
+clean:: $(foreach P,$(WITH_EITHER),clean.$P)
+
+distclean:: $(foreach P,$(WITH_EITHER),distclean.$P)
 
 with-bootstrapping-compiler: \
     $(foreach P,$(WITH_BOOTSTRAPPING_COMPILER),with-bootstrapping-compiler.$P)
@@ -77,6 +79,10 @@ $(foreach P,$(WITH_EITHER),clean.$P): \
 clean.%:
        $(MAKE) -C $* clean
 
+$(foreach P,$(WITH_EITHER),distclean.$P): \
+distclean.%:
+       $(MAKE) -C $* distclean
+
 $(foreach P,$(WITH_BOOTSTRAPPING_COMPILER),with-bootstrapping-compiler.$P): \
 with-bootstrapping-compiler.%:
        $(MAKE) -C $* with-bootstrapping-compiler