27 lines
778 B
Diff
27 lines
778 B
Diff
Index: configure
|
|
===================================================================
|
|
--- configure.orig
|
|
+++ configure
|
|
@@ -4343,6 +4343,8 @@ done
|
|
if test "X$host_config" != "Xnone"; then
|
|
CC_BASENAME="`echo $CC | cut -f1 -d' ' | xargs basename 2>/dev/null`"
|
|
. $host_config
|
|
+else
|
|
+ as_fn_error $? "no usable host config found" "$LINENO" 5
|
|
fi
|
|
|
|
## Source any special site-specific file
|
|
Index: configure.ac
|
|
===================================================================
|
|
--- configure.ac.orig
|
|
+++ configure.ac
|
|
@@ -330,6 +330,8 @@ done
|
|
if test "X$host_config" != "Xnone"; then
|
|
CC_BASENAME="`echo $CC | cut -f1 -d' ' | xargs basename 2>/dev/null`"
|
|
. $host_config
|
|
+else
|
|
+ AC_MSG_ERROR([no usable host config found])
|
|
fi
|
|
|
|
## Source any special site-specific file
|