Remove temporary portlock directory during make [dist]clean.

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

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

Another oversight in 9b4eafcaf.

Files

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