diff options
Diffstat (limited to 'libada')
| -rw-r--r-- | libada/ChangeLog | 5 | ||||
| -rwxr-xr-x | libada/configure | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/libada/ChangeLog b/libada/ChangeLog index 3894505f329..6661c4d3832 100644 --- a/libada/ChangeLog +++ b/libada/ChangeLog @@ -1,3 +1,8 @@ +2018-04-18 David Malcolm <dmalcolm@redhat.com> + + PR jit/85384 + * configure: Regenerate. + 2018-01-03 Jakub Jelinek <jakub@redhat.com> Update copyright years. 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 |