diff options
| author | Tom Lane | 2015-05-13 22:48:05 +0000 |
|---|---|---|
| committer | Tom Lane | 2015-05-13 22:48:05 +0000 |
| commit | 9660710e2f5bbbf1b18640fbc5edcceafe7a10ad (patch) | |
| tree | acb3acf18a02b504fcd589c09eba5906ee13b076 | |
| parent | 61f68e0bed63aa5090e8be7c912843e49b30fc1e (diff) | |
Fix distclean/maintainer-clean targets to remove top-level tmp_install dir.
The top-level makefile removes tmp_install in its "clean" target, but the
distclean and maintainer-clean targets overlooked that (and they don't
simply invoke clean, because that would result in an extra tree traversal).
While at it, let's just make sure that removing GNUmakefile itself is the
very last step of the recipe.
| -rw-r--r-- | GNUmakefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index ba39bf13307..15fba9fce0a 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -58,9 +58,10 @@ distclean maintainer-clean: $(MAKE) -C contrib $@ $(MAKE) -C config $@ $(MAKE) -C src $@ - rm -f config.cache config.log config.status GNUmakefile + rm -rf tmp_install/ # Garbage from autoconf: @rm -rf autom4te.cache/ + rm -f config.cache config.log config.status GNUmakefile check check-tests installcheck installcheck-parallel installcheck-tests: $(MAKE) -C src/test/regress $@ |