hdf5/hdf5-1.8.11-abort_unknown_host_config.patch
2013-06-18 08:31:19 +00:00

23 lines
757 B
Diff

--- configure.ac.orig 2013-05-08 08:34:56.000000000 +0200
+++ configure.ac 2013-06-12 11:57:59.161401364 +0200
@@ -302,6 +302,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
--- configure,orig 2013-05-08 08:35:37.000000000 +0200
+++ configure 2013-06-12 11:58:57.991149444 +0200
@@ -4126,6 +4126,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