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 /src/libsyntax/parse/parser.rs | |
| 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.
Diffstat (limited to 'src/libsyntax/parse/parser.rs')
0 files changed, 0 insertions, 0 deletions