commit | 39fb3cfc28baac007ea8dafaf7a2c22c44faba19 | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Mon Sep 18 11:06:48 2023 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Wed Oct 18 10:01:01 2023 +0200 |
tree | dacce5278a28bc79b1bf5968569022981dda60b6 | |
parent | a47dd5c516ed7fff768554ac1ec4cba2145c5ea9 [diff] |
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>