1.1 --- a/common/autoconf/generated-configure.sh Wed Aug 29 09:23:15 2018 -0700
1.2 +++ b/common/autoconf/generated-configure.sh Thu Sep 06 15:15:38 2018 +0100
1.3 @@ -29879,25 +29879,25 @@
1.4
1.5
1.6
1.7 - if test "x$CC_VERSION" != "x$CXX_VERSION"; then
1.8 - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: C and C++ compiler has different version numbers, $CC_VERSION vs $CXX_VERSION." >&5
1.9 -$as_echo "$as_me: WARNING: C and C++ compiler has different version numbers, $CC_VERSION vs $CXX_VERSION." >&2;}
1.10 + if test "x$CC_VERSION_NUMBER" != "x$CXX_VERSION_NUMBER"; then
1.11 + { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: C and C++ compiler has different version numbers, $CC_VERSION_NUMBER vs $CXX_VERSION_NUMBER." >&5
1.12 +$as_echo "$as_me: WARNING: C and C++ compiler has different version numbers, $CC_VERSION_NUMBER vs $CXX_VERSION_NUMBER." >&2;}
1.13 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: This typically indicates a broken setup, and is not supported" >&5
1.14 $as_echo "$as_me: WARNING: This typically indicates a broken setup, and is not supported" >&2;}
1.15 fi
1.16
1.17 - # We only check CC_VERSION since we assume CXX_VERSION is equal.
1.18 - if [[ "$CC_VERSION" =~ (.*\.){3} ]] ; then
1.19 + # We only check CC_VERSION_NUMBER since we assume CXX_VERSION_NUMBER is equal.
1.20 + if [[ "$CC_VERSION_NUMBER" =~ (.*\.){3} ]] ; then
1.21 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: C compiler version number has more than three parts (X.Y.Z): $CC_VERSION. Comparisons might be wrong." >&5
1.22 $as_echo "$as_me: WARNING: C compiler version number has more than three parts (X.Y.Z): $CC_VERSION. Comparisons might be wrong." >&2;}
1.23 fi
1.24
1.25 - if [[ "$CC_VERSION" =~ [0-9]{6} ]] ; then
1.26 + if [[ "$CC_VERSION_NUMBER" =~ [0-9]{6} ]] ; then
1.27 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: C compiler version number has a part larger than 99999: $CC_VERSION. Comparisons might be wrong." >&5
1.28 $as_echo "$as_me: WARNING: C compiler version number has a part larger than 99999: $CC_VERSION. Comparisons might be wrong." >&2;}
1.29 fi
1.30
1.31 - COMPARABLE_ACTUAL_VERSION=`$AWK -F. '{ printf("%05d%05d%05d\n", $1, $2, $3) }' <<< "$CC_VERSION"`
1.32 + COMPARABLE_ACTUAL_VERSION=`$AWK -F. '{ printf("%05d%05d%05d\n", $1, $2, $3) }' <<< "$CC_VERSION_NUMBER"`
1.33
1.34
1.35 #
