diff options
| author | Tom Tromey <tom@tromey.com> | 2018-09-19 09:46:22 -0600 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2018-09-19 09:46:22 -0600 |
| commit | e2ff97a14d832b6814292d54fcea155f5d1905bc (patch) | |
| tree | c92ffcd4c0ab1ca8b197680b6f6a4d43368858c0 | |
| parent | 4f3ff5a97bcd2d05ee0c768122752dc74f96ccc3 (diff) | |
| download | rust-e2ff97a14d832b6814292d54fcea155f5d1905bc.tar.gz rust-e2ff97a14d832b6814292d54fcea155f5d1905bc.zip | |
Pass --batch to gdb
In one of my travis builds, I was surprised to find that the gdb pager was in use and caused travis to time out. Adding `--batch` to the gdb invocation will disable the pager. Note that the `-ex q` is retained, to make sure gdb exits with status 0, just in case `set -e` is in effect somehow.
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index b1701e4a654..0646f4d4687 100644 --- a/.travis.yml +++ b/.travis.yml @@ -301,7 +301,7 @@ after_failure: EXE=$(echo $CORE | sed 's|obj/cores/core\.[0-9]*\.!checkout!\(.*\)|\1|;y|!|/|'); if [ -f "$EXE" ]; then printf travis_fold":start:crashlog\n\033[31;1m%s\033[0m\n" "$CORE"; - gdb -q -c "$CORE" "$EXE" + gdb --batch -q -c "$CORE" "$EXE" -iex 'set auto-load off' -iex 'dir src/' -iex 'set sysroot .' |