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 /gcc/config.gcc | |
| 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.
Diffstat (limited to 'gcc/config.gcc')
0 files changed, 0 insertions, 0 deletions