diff options
| author | eschnett <eschnett@d47fded2-66c1-406f-af09-4fc0800f9c6b> | 2013-04-10 15:14:24 +0000 |
|---|---|---|
| committer | eschnett <eschnett@d47fded2-66c1-406f-af09-4fc0800f9c6b> | 2013-04-10 15:14:24 +0000 |
| commit | 3bb876b894cae6c3db4dc579cb6d7a1fa6ca1d1a (patch) | |
| tree | 95281de9042701428dfd3df2d115bd4ff6cbb144 | |
| parent | 98327fc896718a1808e1bc9d79f894563af69392 (diff) | |
Do not search for existing library when NO_BUILD is given
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/zlib/trunk@22 d47fded2-66c1-406f-af09-4fc0800f9c6b
| -rw-r--r-- | configure.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index 3202d02..d13f8f8 100644 --- a/configure.sh +++ b/configure.sh @@ -16,9 +16,7 @@ set -e # Abort on errors # Search ################################################################################ -if [ -z "${ZLIB_DIR}" \ - -o "$(echo "${ZLIB_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] -then +if [ -z "${ZLIB_DIR}" ]; then echo "BEGIN MESSAGE" echo "zlib selected, but ZLIB_DIR not set. Checking some places..." echo "END MESSAGE" |