Remove temporary portlock directory during make [dist]clean.

Tom Lane <tgl@sss.pgh.pa.us>

Commit: 4e9e1b2a625eccfdfd09b8fca9693dd1fe96f256
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2022-11-26T15:30:53Z
Releases: 14.7
Remove temporary portlock directory during make [dist]clean.

Another oversight in 9b4eafcaf.

Files

PathChange+/−
GNUmakefile.in modified +2 −2