public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-6819] ootstrap: Fix bootstrap with --disable-plugin [PR104176]
@ 2022-01-22 18:05 Jakub Jelinek
  0 siblings, 0 replies; only message in thread
From: Jakub Jelinek @ 2022-01-22 18:05 UTC (permalink / raw)
  To: gcc-cvs

https://gcc.gnu.org/g:9ea451e27934939d490553d3a394e8cbf9cefda8

commit r12-6819-g9ea451e27934939d490553d3a394e8cbf9cefda8
Author: Jakub Jelinek <jakub@redhat.com>
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  <jakub@redhat.com>
    
            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;


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-01-22 18:05 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-22 18:05 [gcc r12-6819] ootstrap: Fix bootstrap with --disable-plugin [PR104176] Jakub Jelinek

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).