diff options
| -rw-r--r-- | Makefile.in | 7 |
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 |