diff options
| author | eschnett <eschnett@fb53df36-e548-4a1e-8150-ab98cbd5e786> | 2013-04-10 15:13:21 +0000 |
|---|---|---|
| committer | eschnett <eschnett@fb53df36-e548-4a1e-8150-ab98cbd5e786> | 2013-04-10 15:13:21 +0000 |
| commit | 2ae742afbe67a14267aa5fa23d0b71881dfaaf88 (patch) | |
| tree | 1f92b135f71e983313fbc6a1f17f26f5e9fb1b5a | |
| parent | 68b112ceffcef0f714e2e13121c87f39a8cb65cb (diff) | |
Do not search for existing library when NO_BUILD is given
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/HDF5/trunk@71 fb53df36-e548-4a1e-8150-ab98cbd5e786
| -rw-r--r-- | configure.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh index a2b2185..2ef6a80 100644 --- a/configure.sh +++ b/configure.sh @@ -47,9 +47,7 @@ fi # Search ################################################################################ -if [ -z "${HDF5_DIR}" \ - -o "$(echo "${HDF5_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] -then +if [ -z "${HDF5_DIR}" ]; then echo "BEGIN MESSAGE" echo "HDF5 selected, but HDF5_DIR not set. Checking some places..." echo "END MESSAGE" |