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:53 +0000 (10:30 -0500)
commit4e9e1b2a625eccfdfd09b8fca9693dd1fe96f256
tree49f7ff09f7eb810c9876e0c2a44ffb6397fcfda2
parentec7b29cb954fca911fddb9a76a19170256338c8f
Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.
GNUmakefile.in