diff options
-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 }'` |