diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -2331,6 +2331,7 @@ fi # figure out if we need to build gmp and mpfr for gcc 4.3.0+ gcc_version_file="${srcdir}/../gcc/gcc-${GCC_VERSION}/gcc/BASE-VER" +test -f ${gcc_version_file} || gcc_version_file="${srcdir}/temp-src/gcc-${GCC_VERSION}/gcc/BASE-VER" if test -f "${gcc_version_file}"; then GCC_MAJOR=`head -n 1 $gcc_version_file | sed -e "s/[^0-9].*//"` GCC_MINOR=`head -n 1 $gcc_version_file | \ |