diff options
| author | Josh Gao <jmgao@google.com> | 2015-08-28 07:13:49 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2015-08-28 07:13:49 +0000 |
| commit | 75fbeaffc4361683b5e9350d7997644512637f8d (patch) | |
| tree | 0e45153388e5323a4bebf57120750d4767cc6c6c | |
| parent | 86dad5717642e2e77e75b8a7178f585334731884 (diff) | |
| parent | 756510dd40c7d32f925ea172a2ac819f760999f2 (diff) | |
| download | gdb-75fbeaffc4361683b5e9350d7997644512637f8d.tar.gz | |
Merge "Dump gdb config.log to outputs directory upon failure."
| -rwxr-xr-x | build-gdb.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-gdb.sh b/build-gdb.sh index c8268c488..dbf9e8522 100755 --- a/build-gdb.sh +++ b/build-gdb.sh @@ -209,7 +209,11 @@ build_host_gdb () run "$SRCDIR"/configure $ARGS && run make -j$NUM_JOBS && run make -j$NUM_JOBS install - fail_panic "Failed to configure/make/install gdb" + + if [ $? -ne 0 ]; then + cp $BUILDDIR/config.log $PACKAGE_DIR/gdb_config.log + panic "Failed to configure/make/install gdb" + fi } need_build_host_gdb () |