diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-19 20:04:07 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-19 20:40:04 +0200 |
| commit | 973038db87154f954e8cd889d706089489a43d46 (patch) | |
| tree | b7bc78bac96a9eadd024f87ccb13f5a01a07498e /.gitlab-ci.d | |
| parent | b0fcc6fc7fc11278c8ca344d8d9c6e5d05742f79 (diff) | |
configure: fix backwards-compatibility for meson sphinx_build option
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
the fixups were obsolete at the time; however, the Meson deprecation
mechanism doesn't quite work when options are finally removed, so we
need to bring it back.
Reported-by: Peter Maydell <peter.maydell@linaro.org>
Tested-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gitlab-ci.d')
0 files changed, 0 insertions, 0 deletions