diff options
| author | eschnett <eschnett@d47fded2-66c1-406f-af09-4fc0800f9c6b> | 2013-03-08 03:26:18 +0000 |
|---|---|---|
| committer | eschnett <eschnett@d47fded2-66c1-406f-af09-4fc0800f9c6b> | 2013-03-08 03:26:18 +0000 |
| commit | bbfcbd609e4026a07a218f59d2a14b4b7836f8f4 (patch) | |
| tree | c050035f0f3c1365cac970a936d91c8f1d0f1dfa | |
| parent | eee265287a9fd5652bf5a6dcf96955688d583ea0 (diff) | |
Support NO_BUILD in zlib
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/zlib/trunk@19 d47fded2-66c1-406f-af09-4fc0800f9c6b
| -rw-r--r-- | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 687bce6..7ee1b80 100644 --- a/configure.sh +++ b/configure.sh @@ -16,7 +16,9 @@ set -e # Abort on errors # Search ################################################################################ -if [ -z "${ZLIB_DIR}" ]; then +if [ -z "${ZLIB_DIR}" \ + -o "$(echo "${ZLIB_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] +then echo "BEGIN MESSAGE" echo "zlib selected, but ZLIB_DIR not set. Checking some places..." echo "END MESSAGE" |