build: make some noise on stale PID

This should be fixed in ports now, but let's not gamble too much.
This commit is contained in:
Franco Fichtner 2018-06-28 07:47:48 +02:00
parent 8d5f94880d
commit 29d0b629c9
1 changed files with 1 additions and 1 deletions

View File

@ -865,7 +865,7 @@ ${PLUGINSDIR}
if [ -d ${STAGE}/var/run ]; then
PIDS=$(find ${STAGE}/var/run -name "*.pid")
for PID in ${PIDS}; do
pkill -F ${PID} || true;
pkill -F ${PID} || echo ">>> Stale PID file ${PID}";
done
fi