From c511bd4c6cc9eb5d73314684157d1916d08c8f1a Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Jun 25 2016 21:31:45 +0000
Subject: build system: warn only upon failure to detect native sizeof(void *).


---

diff --git a/configure b/configure
index 4400b04..cea3245 100755
--- a/configure
+++ b/configure
@@ -16,6 +16,11 @@ error_msg()
 	echo "$@" >&2
 }
 
+warning_msg()
+{
+	echo "$@" >&2
+}
+
 
 init_vars()
 {
@@ -317,8 +322,7 @@ native_defaults()
 	fi
 
 	if [ -z "$mb_native_os_sizeof_pointer" ]; then
-		error_msg "config error: could not determine size of pointer on native system."
-		exit 2
+		warning_msg "config error: could not determine size of pointer on native system."
 	fi
 
 	# fallback os recipe