diff options
-rwxr-xr-x | scripts/run_tests.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh index df0bf25216..fcd7fae096 100755 --- a/scripts/run_tests.sh +++ b/scripts/run_tests.sh @@ -2,20 +2,21 @@ set -e set -o pipefail - - +c cd build/${BUILDTYPE:-Release} for TEST in ./test_* ; do # allow writing core files ulimit -c unlimited -S + ulimit -c + cat /proc/sys/kernel/core_pattern + sysctl kernel.core_pattern RESULT=0 ${TEST} || RESULT=$? if [[ ${RESULT} != 0 ]]; then echo "The program crashed with exit code ${RESULT}. We're now trying to output the core dump." - ls -la fi # output core dump if we got one |