diff options
| author | eschnett <eschnett@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2013-04-10 15:13:12 +0000 |
|---|---|---|
| committer | eschnett <eschnett@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2013-04-10 15:13:12 +0000 |
| commit | 4c83e3df6d79cc802619b675699b49906ae184ca (patch) | |
| tree | 781e782e43f448cbb2bc3e0b2bc0d54f7ab7f846 | |
| parent | 242b318911400d677e8e899717578bef1d0d86c0 (diff) | |
Do not search for existing library when NO_BUILD is given
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@36 9e23cc15-e5c8-4d65-9080-beda90ea645b
| -rw-r--r-- | configure.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index 13bb1ab..4263526 100644 --- a/configure.sh +++ b/configure.sh @@ -16,9 +16,7 @@ set -e # Abort on errors # Search ################################################################################ -if [ -z "${GSL_DIR}" \ - -o "$(echo "${GSL_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] -then +if [ -z "${GSL_DIR}" ]; then echo "BEGIN MESSAGE" echo "GSL selected, but GSL_DIR not set. Checking some places..." echo "END MESSAGE" |