diff options
| author | Dan Albert <danalbert@google.com> | 2015-08-28 10:12:34 -0700 |
|---|---|---|
| committer | Dan Albert <danalbert@google.com> | 2015-08-28 10:18:44 -0700 |
| commit | 61deae8175681642877b8a0290c57dfd7b99a3f2 (patch) | |
| tree | 1b01cd53e029ccdfb13c052d6dbc83b9510f76da | |
| parent | 75fbeaffc4361683b5e9350d7997644512637f8d (diff) | |
| download | gdb-61deae8175681642877b8a0290c57dfd7b99a3f2.tar.gz | |
Copy all config.logs from the failed build.
This appears to be the one that is failing, not GDB itself.
Change-Id: If6d6d58576a22cac26c0655c12a1d2d3abb1a01e
| -rwxr-xr-x | build-gdb.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-gdb.sh b/build-gdb.sh index dbf9e8522..47b99759c 100755 --- a/build-gdb.sh +++ b/build-gdb.sh @@ -211,7 +211,8 @@ build_host_gdb () run make -j$NUM_JOBS install if [ $? -ne 0 ]; then - cp $BUILDDIR/config.log $PACKAGE_DIR/gdb_config.log + mkdir -p $PACKAGE_DIR/config_logs + find $TMPDIR -name 'config.log' | cpio -pdm $PACKAGE_DIR/config_logs panic "Failed to configure/make/install gdb" fi } |