diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-28 18:37:02 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-28 18:37:02 -0400 |
commit | 5746fcdf2fe4c5472a817d18f1a536f6f4c31085 (patch) | |
tree | b165ac9d4804545ffedb6b30cc519be07f1d91b4 | |
parent | 4de6452284ff546d67d7e483bd4cb9a9bc64d8e3 (diff) |
get-antlr error on missing config.guess
-rwxr-xr-x | contrib/get-antlr-3.4 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index 97cfe43af..74bce743e 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -26,6 +26,12 @@ 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 + fi + # get first nibble from config.guess (x86_64, i686, ...) MACHINE_TYPE=`config/config.guess | sed 's,-.*,,'` fi |