diff options
author | midipix <writeonce@midipix.org> | 2016-06-25 15:37:10 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-06-25 17:34:59 -0400 |
commit | f0076891a28092b73dbd2c9e64b78efc7fdd2487 (patch) | |
tree | 43b48893f839c7bb40c8140124b23457453eaba7 /configure | |
parent | 5f1999c6f77e9abb827d61e4e89fa42841caaa9a (diff) | |
download | ntapi-f0076891a28092b73dbd2c9e64b78efc7fdd2487.tar.bz2 ntapi-f0076891a28092b73dbd2c9e64b78efc7fdd2487.tar.xz |
build system: warn only upon failure to detect native sizeof(void *).
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 |