Remove temporary portlock directory during make [dist]clean.

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

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

Another oversight in 9b4eafcaf.

Files

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