From 27a5a0ee20eaf01cdf53f48498379b19e8f52e83 Mon Sep 17 00:00:00 2001 From: Tom Lane Date: Sat, 26 Nov 2022 10:30:31 -0500 Subject: [PATCH] Remove temporary portlock directory during make [dist]clean. Another oversight in 9b4eafcaf. --- GNUmakefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/GNUmakefile.in b/GNUmakefile.in index 0667ba4f3f0..c1a93a43ea8 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -57,7 +57,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/ @@ -68,7 +68,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