diff options
author | Tom Lane | 2022-11-26 15:30:31 +0000 |
---|---|---|
committer | Tom Lane | 2022-11-26 15:30:31 +0000 |
commit | 3274ec05c86730ff577f463e4e7b0259fb2bf684 (patch) | |
tree | d242e7b72b4585cd4f875b507b777f15688527c0 | |
parent | 822e8836d5c895e454d8a22c674456cb9a9a2f44 (diff) |
Remove temporary portlock directory during make [dist]clean.
Another oversight in 9b4eafcaf.
-rw-r--r-- | GNUmakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 38713b5d123..5434467381d 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -47,7 +47,7 @@ $(call recurse,distprep coverage,doc src config contrib) # it's not built by default $(call recurse,clean,doc contrib src config) clean: - rm -rf tmp_install/ + rm -rf tmp_install/ portlock/ # Garbage from autoconf: @rm -rf autom4te.cache/ @@ -58,7 +58,7 @@ distclean maintainer-clean: $(MAKE) -C contrib $@ $(MAKE) -C config $@ $(MAKE) -C src $@ - rm -rf tmp_install/ + rm -rf tmp_install/ portlock/ # Garbage from autoconf: @rm -rf autom4te.cache/ rm -f config.cache config.log config.status GNUmakefile |