diff options
| -rw-r--r-- | configure.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 6898c4a..8c1ec45 100644 --- a/configure.sh +++ b/configure.sh @@ -16,7 +16,9 @@ set -e # Abort on errors # Search ################################################################################ -if [ -z "${FFTW3_DIR}" ]; then +if [ -z "${FFTW3_DIR}" \ + -o "$(echo "${FFTW3_DIR}" | tr '[a-z]' '[A-Z]')" = 'NO_BUILD' ] +then echo "BEGIN MESSAGE" echo "FFTW3 selected, but FFTW3_DIR not set. Checking some places..." echo "END MESSAGE" |