Modify check version number procedure for gcc

diff --git a/config_files/gcc-3.2.sh b/config_files/gcc-3.2.sh
index e14807320eb3d34544912710aa3579a752f4935d..506ade8d9bad1bae05e02e9c37d101d23f2b795a 100755 (executable)
--- a/config_files/gcc-3.2.sh
+++ b/config_files/gcc-3.2.sh
@@ -1,11 +1,7 @@
 #!/bin/sh
 
 check_version(){
-gcc_ver=`gcc -dumpversion`
-gcc_ver_number=`echo $gcc_ver | cut -d . -f 1`
-gcc_ver_subnumber=`echo $gcc_ver | cut -d . -f 2`
-gcc_ver=$(($gcc_ver_number*1000+$gcc_ver_subnumber))
-#if [ `gcc --version | grep 'gcc (GCC) .*' | cut -b 11-13` == "3.2" ] ;  then 
+gcc_ver=`gcc -dumpversion | awk -F. '{ print $1 * 1000 + $2 }'`
 if [ $gcc_ver -eq 3002 ]  ; then
     return 0
 fi
@@ -34,11 +30,7 @@ if [ -z "${gcc_root}" ] ; then
 fi
 if [ -n "${gcc_root}" ] ; then
     gcc_root=`cd ${gcc_root}/..; pwd`
-    gcc_ver=`gcc -dumpversion`
-    gcc_ver_number=`echo $gcc_ver | cut -d . -f 1`
-    gcc_ver_subnumber=`echo $gcc_ver | cut -d . -f 2`
-    gcc_ver=$(($gcc_ver_number*1000+$gcc_ver_subnumber))
-    #if [ "`${gcc_root}/bin/gcc --version | grep 'gcc (GCC) .*' | cut -b 11-13`" = "3.2" ] ; then
+    gcc_ver=`gcc -dumpversion | awk -F. '{ print $1 * 1000 + $2 }'`
     if [ $gcc_ver -ge 3002 ]  ; then
        tmp="\${GCC_ROOT}/bin ${gcc_root}/bin \${PATH} ${PATH}";  
        path=`sort_path ${tmp}`