diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-06-22 15:58:37 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-06-22 16:35:52 +0300 |
| commit | 4de30ff5f24bc47e2fe95aed296206687ecfd829 (patch) | |
| tree | a41772654fdd1081660cc6c62394179cde5892da /tools | |
| parent | f6ae77d4d5728dbee51d107653d4775587e46f54 (diff) | |
| download | plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.gz plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.bz2 plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.tar.xz plus-4de30ff5f24bc47e2fe95aed296206687ecfd829.zip | |
Add pause after crash in runtest.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/runtest.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/scripts/runtest.sh b/tools/ci/scripts/runtest.sh index c6cc8adf6..7bcb2b518 100755 --- a/tools/ci/scripts/runtest.sh +++ b/tools/ci/scripts/runtest.sh @@ -8,6 +8,8 @@ function check_is_run { echo "Run with gdb" cp ./src/manaplus ./logs/ cp -r core* ./logs/ + sleep 10s + ls COREFILE=$(find . -maxdepth 1 -name "core*" | head -n 1) if [[ -f "$COREFILE" ]]; then gdb -c "$COREFILE" ./src/manaplus -ex "thread apply all bt" -ex "set pagination 0" -batch |