Remove temporary portlock directory during make [dist]clean.

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

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

Another oversight in 9b4eafcaf.

Files

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