Re: [PATCH 5/6] meson: remove dead optimization option

2024-06-20 Thread Richard Henderson
On 6/20/24 06:02, Paolo Bonzini wrote: Signed-off-by: Paolo Bonzini --- meson.build | 13 - meson_options.txt | 2 -- 2 files changed, 15 deletions(-) Reviewed-by: Richard Henderson r~

[PATCH 5/6] meson: remove dead optimization option

2024-06-20 Thread Paolo Bonzini
Signed-off-by: Paolo Bonzini --- meson.build | 13 - meson_options.txt | 2 -- 2 files changed, 15 deletions(-) diff --git a/meson.build b/meson.build index 6e694ecd9fe..54e6b09f4fb 100644 --- a/meson.build +++ b/meson.build @@ -2874,18 +2874,6 @@ config_host_data.set('CONFIG_