diff --git a/configure b/configure index 1acf3be..c65caaa 100755 --- a/configure +++ b/configure @@ -407,12 +407,10 @@ esac assert "$PLATFORM" "$PLATFORM" "unsupported" if test "$VMA" = "unknown"; then - echo "unknown" VMA_BITS_R="CK_MD_VMA_BITS_UNKNOWN" VMA_BITS_VALUE_R="" POINTER_PACK_ENABLE="CK_MD_POINTER_PACK_DISABLE" else - echo "success [$VMA]" VMA_BITS_R="CK_MD_VMA_BITS" VMA_BITS_VALUE_R="${VMA_BITS}ULL" fi