From 3c7f94db446b85fd54e7357da39de3fab162edc6 Mon Sep 17 00:00:00 2001 From: Samy Al Bahra Date: Sat, 15 Sep 2012 14:42:04 -0400 Subject: [PATCH] build: Only enable pointer packing if VMA bits is detected. --- configure | 1 + 1 file changed, 1 insertion(+) diff --git a/configure b/configure index 942dce0..08a586a 100755 --- a/configure +++ b/configure @@ -368,6 +368,7 @@ 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"