meson: remove dead optimization option
authorPaolo Bonzini <pbonzini@redhat.com>
Thu, 20 Jun 2024 12:57:30 +0000 (14:57 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Fri, 28 Jun 2024 12:44:51 +0000 (14:44 +0200)
commitb3f1ce8a472e7239b196bcb3aaa38738012f23b5
tree38c2d19a500c4374526c3bd3c64e09698808aa8a
parentef7d1adfa8589bb7d6cb06463bf554877e086beb
meson: remove dead optimization option

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
meson.build
meson_options.txt
scripts/meson-buildoptions.sh