From 7e6ea333d3246873ef53d6f1003c176f1aa43c36 Mon Sep 17 00:00:00 2001 From: midipix Date: Jun 25 2016 21:34:23 +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