From: Jakub Jelinek Date: Sat, 22 Jan 2022 18:04:41 +0000 (+0100) Subject: ootstrap: Fix bootstrap with --disable-plugin [PR104176] X-Git-Tag: basepoints/gcc-13~1494 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ea451e27934939d490553d3a394e8cbf9cefda8;p=thirdparty%2Fgcc.git ootstrap: Fix bootstrap with --disable-plugin [PR104176] 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 PR other/104176 * opts-global.cc (handle_common_deferred_options): Quote --enable-plugin in diagnostics to avoid -Werror=format-diag. --- diff --git a/gcc/opts-global.cc b/gcc/opts-global.cc index 0a17896cbb18..a18c76940f97 100644 --- a/gcc/opts-global.cc +++ b/gcc/opts-global.cc @@ -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;