diff options
author | Chris Conway <clconway@google.com> | 2015-12-01 11:36:07 -0800 |
---|---|---|
committer | Chris Conway <clconway@google.com> | 2015-12-01 11:36:07 -0800 |
commit | f84bc2f51a1a81b7c7c14f1ed0a2d56b4d70fa40 (patch) | |
tree | 3272480c51db0f73023b5fd007fc72ab4453fa94 /contrib/get-antlr-3.4 | |
parent | fd7a170d7ae9cd9136ea1de186760871bdb6bb65 (diff) |
Adds attempt to download config.guess to get-antlr-3.4 script.
This should work around the case where autogen.sh hasn't been run,
as long as the download succeeds.
Diffstat (limited to 'contrib/get-antlr-3.4')
-rwxr-xr-x | contrib/get-antlr-3.4 | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index 436ef6a8d..6a36681cb 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -27,11 +27,17 @@ function webget { if [ -z "${MACHINE_TYPE}" ]; then if ! [ -e config/config.guess ]; then - echo "$(basename $0): I need the file config/config.guess to tell MACHINE_TYPE" >&2 - echo "Try running ./autogen.sh, or set the MACHINE_TYPE environment variable." >&2 - exit 1 + # Attempt to download once + webget 'http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD' config/config.guess + if [ -e config/config.guess ]; then + chmod +x config/config.guess + else + echo "$(basename $0): I need the file config/config.guess to tell MACHINE_TYPE" >&2 + echo "Try running ./autogen.sh, or set the MACHINE_TYPE environment variable" >&2 + echo "(e.g., \"export MACHINE_TYPE=x86_64\")." >&2 + exit 1 + fi fi - # get first nibble from config.guess (x86_64, i686, ...) MACHINE_TYPE=`config/config.guess | sed 's,-.*,,'` fi |