diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index 830627b04e..affce4f8da 100755 --- a/configure +++ b/configure @@ -1470,7 +1470,7 @@ echo "configure:1470: checking version of $CC" >&5 ac_prog_version=`$CC -v 2>&1 | sed -n 's/^.*version \([egcygnustpi-]*[0-9.]*\).*$/\1/p'` case $ac_prog_version in '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; - *gcc-2.9[5-9].*|*2.8.[1-9]*|*2.9|*2.9.[0-9]*|2.9[5-9]*|3.[0-9]*|cygnus-2.9[1-9]*|gcc-2.9[5-9]|gcc-2.1[0-9][0-9]|sgicc-*) + 3.[2-9]*) ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; @@ -1478,7 +1478,7 @@ echo "configure:1470: checking version of $CC" >&5 echo "$ac_t""$ac_prog_version" 1>&6 fi if test $ac_verc_fail = yes; then - critic_missing=gcc + critic_missing="$critic_missing gcc" fi for ac_prog in gnumake gmake make |