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:46 +0000 (10:30 -0500)
commit3ae0c48a59f747905f26acd38fecdc3e3f505b5b
tree3fe75a410d137170b9e86298f9ebb3ebdb43a00d
parentfec24b75230e59ebf90ea5acadb577a1e2b2e923
Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.
GNUmakefile.in