From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2153) id 6C22E3858D37; Sat, 22 Jan 2022 18:05:32 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6C22E3858D37 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: Jakub Jelinek To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-6819] ootstrap: Fix bootstrap with --disable-plugin [PR104176] X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/master X-Git-Oldrev: a1fb81bda97014ba14d55c4c2e143d31ffe2e264 X-Git-Newrev: 9ea451e27934939d490553d3a394e8cbf9cefda8 Message-Id: <20220122180532.6C22E3858D37@sourceware.org> Date: Sat, 22 Jan 2022 18:05:32 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 22 Jan 2022 18:05:32 -0000 https://gcc.gnu.org/g:9ea451e27934939d490553d3a394e8cbf9cefda8 commit r12-6819-g9ea451e27934939d490553d3a394e8cbf9cefda8 Author: Jakub Jelinek Date: Sat Jan 22 19:04:41 2022 +0100 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: --- gcc/opts-global.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gcc/opts-global.cc b/gcc/opts-global.cc index 0a17896cbb1..a18c76940f9 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;