diff options
-rw-r--r-- | configure.sh | 4 |
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" |