aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbmundim <bmundim@5c1b1641-b641-47ec-b3d9-0f93d4c445ee>2013-03-28 18:13:31 +0000
committerbmundim <bmundim@5c1b1641-b641-47ec-b3d9-0f93d4c445ee>2013-03-28 18:13:31 +0000
commit8d0e8eaacee5af06c3d3ed15af1e1ffa39fe29ff (patch)
treeb00a265facd1f8adcf90a109adf49a2413db87ef
parent729962ad696fdca5dbf24a65c2cb5f5587d6dcf3 (diff)
Add NO_BUILD option.
git-svn-id: http://svn.cactuscode.org/projects/ExternalLibraries/LORENE/trunk@42 5c1b1641-b641-47ec-b3d9-0f93d4c445ee
-rw-r--r--configure.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh
index 587380e..a13d862 100644
--- a/configure.sh
+++ b/configure.sh
@@ -16,7 +16,9 @@ set -e # Abort on errors
# Search
################################################################################
-if [ -z "${LORENE_DIR}" ]; then
+if [ -z "${LORENE_DIR}" \
+ -o "$(echo "${LORENE_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ]
+then
echo "BEGIN MESSAGE"
echo "LORENE selected, but LORENE_DIR not set."
echo "END MESSAGE"