diff options
author | Josh Gao <jmgao@google.com> | 2016-04-28 18:43:25 -0700 |
---|---|---|
committer | Josh Gao <jmgao@google.com> | 2016-04-28 18:44:43 -0700 |
commit | 87aef1e33cdb0dca0b78b64b7bfecdc7cb7f83cc (patch) | |
tree | eb7b4858e714365f928ead89d2aa2252b42ef620 | |
parent | 5a1ffa97a2c9187b344e3f7edace6bcdf8320703 (diff) | |
download | gdb-87aef1e33cdb0dca0b78b64b7bfecdc7cb7f83cc.tar.gz |
Make sure autoconf doesn't try to regenerate.
Bug: http://b/27926543
Change-Id: Ib6f0cb7bc08b4979ca7bcc1677e6c7c67f583601
-rwxr-xr-x | build-gdb.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build-gdb.sh b/build-gdb.sh index 861e46c7a..970f0d77d 100755 --- a/build-gdb.sh +++ b/build-gdb.sh @@ -176,6 +176,11 @@ build_lzma () mkdir -p "$BUILDDIR" && rm -rf "$BUILDDIR"/* && cd "$BUILDDIR" && dump "$TEXT Building" + + # HACK: git doesn't keep track of file modification date, so autoconf will sometimes (usually?) + # want to regenerate itself. Trick it into not doing so by touching all of the source files. + local NOW=`date` + run find $SRCDIR -exec touch -d "$now" {} + && run "$SRCDIR"/configure $ARGS && run make -j$NUM_JOBS && run make -j$NUM_JOBS install |