diff options
Diffstat (limited to 'contrib')
| -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 |