diff options
-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 () |