aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoreschnett <eschnett@5c1b1641-b641-47ec-b3d9-0f93d4c445ee>2013-04-10 15:13:39 +0000
committereschnett <eschnett@5c1b1641-b641-47ec-b3d9-0f93d4c445ee>2013-04-10 15:13:39 +0000
commitd200aa7142f8a288adea64b27c0f69863066a2b8 (patch)
treef7a1f31f786695a965d86d92a93c80d9bbedd4b6
parent8d0e8eaacee5af06c3d3ed15af1e1ffa39fe29ff (diff)
Do not search for existing library when NO_BUILD is givenHEADmaster
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/LORENE/trunk@43 5c1b1641-b641-47ec-b3d9-0f93d4c445ee
-rw-r--r--configure.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.sh b/configure.sh
index a13d862..587380e 100644
--- a/configure.sh
+++ b/configure.sh
@@ -16,9 +16,7 @@ set -e # Abort on errors
# Search
################################################################################
-if [ -z "${LORENE_DIR}" \
- -o "$(echo "${LORENE_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ]
-then
+if [ -z "${LORENE_DIR}" ]; then
echo "BEGIN MESSAGE"
echo "LORENE selected, but LORENE_DIR not set."
echo "END MESSAGE"