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:31:08 +0000 (10:31 -0500)
commitb85fd738529b345666c4a94ce837327a2f86d75e
tree748395354b9f2958f231eebedd99e7cb8d86eaa1
parent9d3f29d990f0dd404c5ec6406ef11e9c5fed901f
Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.
GNUmakefile.in