diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-16 16:40:56 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 09:06:31 -0400 |
commit | a86a9bc9198cc5c1bfd538c4e8728f091d114335 (patch) | |
tree | e74fa20291ca672815d2640d31a282eb0ff7d7d2 /contrib | |
parent | 282606fe0e5ebf414e838115a3c15fab4e432f7a (diff) |
Minor fixes to get-abc script and configure stuff.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-abc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/contrib/get-abc b/contrib/get-abc index f5a397039..8e04ca655 100755 --- a/contrib/get-abc +++ b/contrib/get-abc @@ -27,12 +27,12 @@ function webget { fi } -if [ -z "${MACHINE_TYPE}" ]; then - # get first nibble from config.guess (x86_64, i686, ...) - MACHINE_TYPE=`config/config.guess | sed 's,-.*,,'` +if [ -e abc ]; then + echo 'error: file or directory "abc" exists; please move it out of the way.' >&2 + exit 1 fi -mkdir -p abc +mkdir abc cd abc webget https://bitbucket.org/alanmi/abc/get/$commit.tar.gz abc-$commit.tar.gz gunzip -f abc-$commit.tar.gz |