diff options
Diffstat (limited to '')
| -rwxr-xr-x | CIbuild.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/CIbuild.sh b/CIbuild.sh index 93c238b4c..2bfe2036d 100755 --- a/CIbuild.sh +++ b/CIbuild.sh @@ -17,11 +17,14 @@ echo "Building..." make -j 2; make -j 2 test ARGS="-V"; +# Create .gdbinit in home directory. Switches off the confirmation on quit +echo -e "define hook-quit\n\tset confirm off\nend\n" > ~/.gdbinit + echo "Testing..." cd Server/; touch apiCheckFailed.flag if [ "$TRAVIS_CUBERITE_BUILD_TYPE" != "COVERAGE" ]; then - $CUBERITE_PATH << EOF + gdb -return-child-result -ex run -ex "bt" -ex "info threads" -ex "thread apply all bt" -ex "quit" --args $CUBERITE_PATH << EOF load APIDump apicheck restart |