diff options
| -rw-r--r-- | utils/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/utils/Makefile b/utils/Makefile index 6dc6838b34..c75e670508 100644 --- 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 |