summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index 1dfcaa54f..d46108695 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -126,6 +126,13 @@ lang:
mrproper:
@for dir in $(DIRS); do \
$(MAKE) -C $$dir mrproper; \
+ done
+# Don't be tempted to merge these two for loops. Doing that breaks make
+# --dry-run, since make has this "feature" that it always runs commands
+# containing $(MAKE), even when --dry-run is passed. The objective is of
+# course to also get a dry-run of submakes, but make is not smart enough
+# to see that a for loop runs both a submake and an actual command.
+ @for dir in $(DIRS); do \
rm -f $$dir/Makefile; \
done
$(Q)rm -rf objs