| commit | 39fb3cfc28baac007ea8dafaf7a2c22c44faba19 | |
| author | Paolo Bonzini <pbonzini@redhat.com> | |
| Mon, 18 Sep 2023 09:06:48 +0000 (18 11:06 +0200) | ||
| committer | Paolo Bonzini <pbonzini@redhat.com> | |
| Wed, 18 Oct 2023 08:01:01 +0000 (18 10:01 +0200) | ||
| tree | dacce5278a28bc79b1bf5968569022981dda60b6 | treesnapshot (tar.gz zip) |
| parent | a47dd5c516ed7fff768554ac1ec4cba2145c5ea9 | commitdiff |
configure: clean up plugin option handling
Keep together all the conditions that lead to disabling plugins, and
remove now-dead code.
Since the option was not in SKIP_OPTIONS, it was present twice in
the help message, both from configure and from meson-buildoptions.sh.
Remove the duplication and take the occasion to document the option as
autodetected, which it is.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Keep together all the conditions that lead to disabling plugins, and
remove now-dead code.
Since the option was not in SKIP_OPTIONS, it was present twice in
the help message, both from configure and from meson-buildoptions.sh.
Remove the duplication and take the occasion to document the option as
autodetected, which it is.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
| configure | diffblobblamehistory | |
| scripts/meson-buildoptions.py | diffblobblamehistory | |
| scripts/meson-buildoptions.sh | diffblobblamehistory |