Remove temporary portlock directory during make [dist]clean.
authorTom Lane <tgl@sss.pgh.pa.us>
Sat, 26 Nov 2022 15:30:31 +0000 (10:30 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Sat, 26 Nov 2022 15:30:31 +0000 (10:30 -0500)
Another oversight in 9b4eafcaf.

GNUmakefile.in

index 38713b5d123004f0c20cc1e02f44e9ff0ab3f6b9..5434467381da2bc3cd0b7e45ecbecf47f730d41e 100644 (file)
@@ -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