Re: [PATCH] configure: fix backwards-compatibility for meson sphinx_build option

2023-05-19 Thread Peter Maydell
On Fri, 19 May 2023 at 19:08, Paolo Bonzini wrote: > > Reintroduce the cmd_line.txt mangling to remove the sphinx_build > option when rerunning meson. The mechanism was removed in > commit 75cc28648574 ("configure: remove backwards-compatibility code", > 2023-01-11) > because it was obsolete at

[PATCH] configure: fix backwards-compatibility for meson sphinx_build option

2023-05-19 Thread Paolo Bonzini
Reintroduce the cmd_line.txt mangling to remove the sphinx_build option when rerunning meson. The mechanism was removed in commit 75cc28648574 ("configure: remove backwards-compatibility code", 2023-01-11) because it was obsolete at the time, but the Meson deprecation mechanism doesn't quite work