From f7aab16baf4e24a37bedd99d6d1136a02d332c69 Mon Sep 17 00:00:00 2001 From: Samy Al Bahra Date: Wed, 17 Jul 2013 23:14:52 -0400 Subject: [PATCH] build: Set VMA bits to unknown by default. --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)