configure: handle meson options that have changed type
commit699d388430287b71c0d7ccf76986058259ac7342
authorPaolo Bonzini <pbonzini@redhat.com>
Tue, 16 Mar 2021 07:27:40 +0000 (16 08:27 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Tue, 4 May 2021 12:15:35 +0000 (4 14:15 +0200)
tree603479e9188760123064824992f35c1e40428993
parentd77e90fa0e987d0fa7611dd399eedc93cf787caa
configure: handle meson options that have changed type

Usually Meson uses pre-serialized information in meson-private to
speed up re-runs.  This is not possible for version changes, where
Meson instead rebuilds the serialized information using cmd_line.txt.
In some cases cmd_line.txt can contain stale information, since it
is not rebuild except when "meson setup" is invoked.  Update it in
the configure script to allow upgrading our Meson version.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
configure