diff options
author | bmundim <bmundim@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2013-03-28 18:10:25 +0000 |
---|---|---|
committer | bmundim <bmundim@9e23cc15-e5c8-4d65-9080-beda90ea645b> | 2013-03-28 18:10:25 +0000 |
commit | 242b318911400d677e8e899717578bef1d0d86c0 (patch) | |
tree | a7820345106eb963bef957a2b7606e74dd6f9168 | |
parent | a61b67cea8fa4582cba4fc74e0dc11ed924e67e1 (diff) |
Add NO_BUILD option
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/GSL/trunk@35 9e23cc15-e5c8-4d65-9080-beda90ea645b
-rw-r--r-- | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 4263526..13bb1ab 100644 --- a/configure.sh +++ b/configure.sh @@ -16,7 +16,9 @@ set -e # Abort on errors # Search ################################################################################ -if [ -z "${GSL_DIR}" ]; then +if [ -z "${GSL_DIR}" \ + -o "$(echo "${GSL_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] +then echo "BEGIN MESSAGE" echo "GSL selected, but GSL_DIR not set. Checking some places..." echo "END MESSAGE" |