diff options
| -rw-r--r-- | config/gcc.conf | 2 | ||||
| -rw-r--r-- | config/gdb.conf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/gcc.conf b/config/gcc.conf index 290c4014..19c44ca8 100644 --- a/config/gcc.conf +++ b/config/gcc.conf @@ -134,7 +134,7 @@ if test x"${build}" != x"${target}"; then languages="c,c++" default_configure_flags="${default_configure_flags} --enable-languages=${languages} --disable-plugins" # Cygwin doesn't support GCC plugins -# default_configure_flags="`echo ${default_configure_flags} | sed -e 's:--enable-plugin ::`" +# default_configure_flags="`echo ${default_configure_flags} | sed -e 's:--enable-plugins::'`" ;; *) default_configure_flags="${default_configure_flags}" diff --git a/config/gdb.conf b/config/gdb.conf index 85522cd0..19de2c37 100644 --- a/config/gdb.conf +++ b/config/gdb.conf @@ -14,7 +14,7 @@ default_makeflags="all-gdb" if test x"${build}" != x"${target}"; then case ${host} in *-mingw32) - default_configure_flags="`echo ${default_configure_flags} | sed -e 's:--enable-tui ::`" + default_configure_flags="`echo ${default_configure_flags} | sed -e 's:--enable-tui::'`" ;; *linux*) default_configure_flags="${default_configure_flags} --disable-sim" |