testbench: better info if core file is found during test

This commit is contained in:
Rainer Gerhards 2019-04-05 09:52:30 +02:00
parent 12f64b3ad5
commit fe71d5bbad
No known key found for this signature in database
GPG Key ID: 0CB6B2A8BE80B499

View File

@ -838,6 +838,8 @@ quit"
unset out_pid
if [ "$(ls core.* 2>/dev/null)" != "" ]; then
printf 'ABORT! core file exists (maybe from a parallel run!)\n'
pwd
ls -l core.*
error_exit 1
fi
}