diff --git a/configure b/configure index dcd38e7..aca92c5 100755 --- a/configure +++ b/configure @@ -225,6 +225,7 @@ MANDIR=${MANDIR:-"${PREFIX}/share/man"} GZIP=${GZIP:-"gzip -c"} POINTER_PACK_ENABLE=${POINTER_PACK_ENABLE:-"CK_MD_POINTER_PACK_DISABLE"} RTM_ENABLE=${RTM_ENABLE_SET:-"CK_MD_RTM_DISABLE"} +VMA_BITS=${VMA_BITS:-"unknown"} if test "$PROFILE"; then printf "Using user-specified profile....." @@ -401,7 +402,7 @@ esac assert "$PLATFORM" "$PLATFORM" "unsupported" printf "Detecting VMA bits..............." -if test "$VMA_BITS" = ""; then +if test "$VMA_BITS" = "unknown"; then if test "$PLATFORM" = "x86" || test $PLATFORM = "x86_64"; then case $SYSTEM in darwin)