diff --git a/version.sh b/version.sh index 65a7dfeb50..c33b714159 100755 --- a/version.sh +++ b/version.sh @@ -5,6 +5,7 @@ if [ $? -ne 0 ]; then # probably no gnu date installed(?), use current date last_cvs_update=`date +%y%m%d-%H:%M` fi -gcc_version=`gcc --version` +cc=`cat config.mak |grep CC | cut -d '=' -f 2` +cc_version=`${cc} --version` -echo "#define VERSION \"CVS-${last_cvs_update}-gcc-${gcc_version} \"" >version.h +echo "#define VERSION \"CVS-${last_cvs_update}${cc}-${cc_version} \"" >version.h