15 lines
673 B
Bash
Executable file
15 lines
673 B
Bash
Executable file
#!/bin/bash
|
|
|
|
# propagate failure codes across pipes
|
|
set -o pipefail
|
|
|
|
gdb -q -batch -return-child-result -ex "set disable-randomization off" -ex "set style enabled on" -ex "run" -ex "thread apply all bt" -ex "quit" --args ./boost_unit_tests --color_output --log_level=test_suite 2>&1 | tee error.log
|
|
error_code="$?"
|
|
while grep -q 'Could not initialize SDL_video' error.log; do
|
|
echo "Could not initialize SDL_video error, retrying..."
|
|
gdb -q -batch -return-child-result -ex "set style enabled on" -ex "run" -ex "thread apply all bt" -ex "quit" --args ./boost_unit_tests --color_output --log_level=test_suite 2>&1 | tee error.log
|
|
error_code="$?"
|
|
done
|
|
|
|
exit $error_code
|
|
|