diff options
author | Jakub Jelinek <jakub@redhat.com> | 2022-01-22 19:04:41 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2022-01-22 19:04:41 +0100 |
commit | 9ea451e27934939d490553d3a394e8cbf9cefda8 (patch) | |
tree | f715a42e6ba64ff833ae7d0b7719b7204e051ad1 | |
parent | a1fb81bda97014ba14d55c4c2e143d31ffe2e264 (diff) | |
download | gcc-9ea451e27934939d490553d3a394e8cbf9cefda8.zip gcc-9ea451e27934939d490553d3a394e8cbf9cefda8.tar.gz gcc-9ea451e27934939d490553d3a394e8cbf9cefda8.tar.bz2 |
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.
-rw-r--r-- | gcc/opts-global.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/opts-global.cc b/gcc/opts-global.cc index 0a17896..a18c769 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; |