> Am 22.01.2022 um 13:00 schrieb Jakub Jelinek via Gcc-patches
> :
>
> Hi!
>
> 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: erro
Hi!
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 |
