ootstrap: Fix bootstrap with --disable-plugin [PR104176]
authorJakub Jelinek <jakub@redhat.com>
Sat, 22 Jan 2022 18:04:41 +0000 (19:04 +0100)
committerJakub Jelinek <jakub@redhat.com>
Sat, 22 Jan 2022 18:04:41 +0000 (19:04 +0100)
commit9ea451e27934939d490553d3a394e8cbf9cefda8
treef715a42e6ba64ff833ae7d0b7719b7204e051ad1
parenta1fb81bda97014ba14d55c4c2e143d31ffe2e264
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.
gcc/opts-global.cc