mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-01-19 20:54:56 +08:00
Code Issues Packages Projects Releases Wiki Activity

ootstrap: Fix bootstrap with --disable-plugin [PR104176]

Browse Source 
With --disable-plugin, bootstrap fails on x86_64-linux or probably
all other targets with:
../../gcc/opts-global.cc: In function ‘void handle_common_deferred_options()’:
../../gcc/opts-global.cc:420:62: error: unquoted option name ‘--enable-plugin’ in format [-Werror=format-diag]
  420 |           error ("plugin support is disabled; configure with --enable-plugin");
      |                                                              ^~~~~~~~~~~~~~~
../../gcc/opts-global.cc:428:62: error: unquoted option name ‘--enable-plugin’ in format [-Werror=format-diag]
  428 |           error ("plugin support is disabled; configure with --enable-plugin");
      |                                                              ^~~~~~~~~~~~~~~

The following patch fixes that.

2022-01-22  Jakub Jelinek  <jakub@redhat.com>

	PR other/104176
	* opts-global.cc (handle_common_deferred_options): Quote
	--enable-plugin in diagnostics to avoid -Werror=format-diag.
This commit is contained in:
Jakub Jelinek 2022-01-22 19:04:41 +01:00
parent a1fb81bda9
commit 9ea451e279
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/opts-global.cc
View File

@ -417,7 +417,8 @@ handle_common_deferred_options (void)
#ifdef ENABLE_PLUGIN
add_new_plugin (opt->arg);
#else
error ("plugin support is disabled; configure with --enable-plugin");
error ("plugin support is disabled; configure with "
"%<--enable-plugin%>");
#endif
break;
@ -425,7 +426,8 @@ handle_common_deferred_options (void)
#ifdef ENABLE_PLUGIN
parse_plugin_arg_opt (opt->arg);
#else
error ("plugin support is disabled; configure with --enable-plugin");
error ("plugin support is disabled; configure with "
"%<--enable-plugin%>");
#endif
break;