diff options
Diffstat (limited to 'libada/configure')
| -rwxr-xr-x | libada/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libada/configure b/libada/configure index 76b39921e72..aedb04ab4f9 100755 --- a/libada/configure +++ b/libada/configure @@ -3669,7 +3669,7 @@ fi # Check whether --with-gcc-major-version-only was given. if test "${with_gcc_major_version_only+set}" = set; then : withval=$with_gcc_major_version_only; if test x$with_gcc_major_version_only = xyes ; then - get_gcc_base_ver="sed -e 's/^\([0-9]*\).*\$\$/\1/'" + get_gcc_base_ver="sed -e 's/^\([0-9]*\).*/\1/'" fi fi |