| commit | c36dd41ba2a8bd8d51f4f7499fbdc02b1bd5c865 | [log] [tgz] |
|---|---|---|
| author | Paolo Bonzini <pbonzini@redhat.com> | Mon Oct 16 08:18:08 2023 +0200 |
| committer | Paolo Bonzini <pbonzini@redhat.com> | Wed Oct 18 10:01:02 2023 +0200 |
| tree | ba40030765236102e243dd8dbe472c0bc7f6edd4 | |
| parent | 050b439887edbbd1b07b94111ffdffbc817e97cf [diff] |
configure: move target-specific defaults to an external machine file Enable Windows-specific defaults with a machine file, so that related options can be automatically parsed and included in the help message. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>