Remove temporary portlock directory during make [dist]clean.

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

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

Another oversight in 9b4eafcaf.

Files

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