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

Another oversight in 9b4eafcaf.
GNUmakefile.in