Remove temporary portlock directory during make [dist]clean.
authorTom Lane
Sat, 26 Nov 2022 15:30:31 +0000 (10:30 -0500)
committerTom Lane
Sat, 26 Nov 2022 15:30:53 +0000 (10:30 -0500)
Another oversight in 9b4eafcaf.

GNUmakefile.in

index 2352fc1171aece54e44c71e7e46f16d390d587ec..5f4c82ab8bcd5b7f8aabde4425bdd7ad832dc97f 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