summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-06-25 15:37:10 -0400
committermidipix <writeonce@midipix.org>2016-06-25 17:34:23 -0400
commit7e6ea333d3246873ef53d6f1003c176f1aa43c36 (patch)
treedbbb69184b0f9596661a5a5029e02ac9926bb0c0 /configure
parentac9867ae43c845a543dc2bd5c365a59fcc5c4989 (diff)
downloadpemagine-7e6ea333d3246873ef53d6f1003c176f1aa43c36.tar.bz2
pemagine-7e6ea333d3246873ef53d6f1003c176f1aa43c36.tar.xz
build system: warn only upon failure to detect native sizeof(void *).
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 6 insertions, 2 deletions
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