diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-06-27 12:33:24 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-10-02 11:07:15 +0000 |
commit | 18700cbbfa7b2c0a8a21947b01fae1748bbdcae2 (patch) | |
tree | bbbecedfb4235fe5a474728df7442a1c3fd7e1e1 /libada/configure | |
parent | 0378e2ec3fc15a72e543b336d1ea4d3677c569ef (diff) |
Merge branches/gcc-7-branch rev 262169.
Change-Id: Ia4e0d5dab9b29367e5f61b6ebd65fa0c318dda86
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 17a52c81db2..13e267a7f4e 100755 --- a/libada/configure +++ b/libada/configure @@ -3018,7 +3018,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 |