diff options
| -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 $@ |