summaryrefslogtreecommitdiff
path: root/libada/configure
diff options
context:
space:
mode:
Diffstat (limited to 'libada/configure')
-rwxr-xr-xlibada/configure2
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