From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sat, 26 Nov 2022 15:30:31 +0000 (-0500)
Subject: Remove temporary portlock directory during make [dist]clean.
X-Git-Tag: REL_12_14~46
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=27a5a0ee20eaf01cdf53f48498379b19e8f52e83;p=thirdparty%2Fpostgresql.git

Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.
---

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