diff options
author | midipix <writeonce@midipix.org> | 2016-11-12 10:16:53 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-11-12 10:19:37 -0500 |
commit | 33ec1f5cb49400b525288f560734d30a097af8df (patch) | |
tree | 4a36b1b193359e16a6000dfda1805d7faeee97fb | |
parent | 97c00019655e22ed366547ea0f1cce85aafeca09 (diff) | |
download | mdso-33ec1f5cb49400b525288f560734d30a097af8df.tar.bz2 mdso-33ec1f5cb49400b525288f560734d30a097af8df.tar.xz |
build system: configure: mb_native_os: respect overrides.
-rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -330,7 +330,9 @@ native_defaults() # os - mb_native_os=`uname | tr '[:upper:]' '[:lower:]'` + if [ -z "$mb_native_os" ]; then + mb_native_os=`uname | tr '[:upper:]' '[:lower:]'` + fi mb_native_os_sizeof_pointer=`$mb_native_cc -dM -E - < /dev/null \ | awk '$2 == "__SIZEOF_POINTER__" { print $3 }'` |