diff options
Diffstat (limited to 'liboffloadmic/plugin/configure')
-rw-r--r-- | liboffloadmic/plugin/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/liboffloadmic/plugin/configure b/liboffloadmic/plugin/configure index 8b8c041..c031eb3 100644 --- a/liboffloadmic/plugin/configure +++ b/liboffloadmic/plugin/configure @@ -14187,7 +14187,7 @@ hardcode_into_libs=no # 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 |