summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xconfigure8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure b/configure
index 75083cf..0252686 100755
--- a/configure
+++ b/configure
@@ -223,8 +223,8 @@ native_defaults()
$mb_native_cc -dM -E - < /dev/null > /dev/null 2>/dev/null || mb_native_cc=
if [ -z "$mb_native_cc" ]; then
- error_msg "config error: could not find a working native compiler."
- exit 2
+ echo "configure: info: could not find a working native compiler."
+ mb_native_cc='false'
fi
if [ -z "$mb_compiler" ]; then
@@ -240,8 +240,8 @@ native_defaults()
fi
if [ -z "$mb_compiler" ]; then
- error_msg "config error: could not identify the native compiler."
- exit 2
+ echo "configure: info: could not identify the native compiler."
+ mb_compiler='any-compiler'
fi