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)
commit3274ec05c86730ff577f463e4e7b0259fb2bf684
treed242e7b72b4585cd4f875b507b777f15688527c0
parent822e8836d5c895e454d8a22c674456cb9a9a2f44
Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.
GNUmakefile.in