Re: [PULL v3 00/22] Build system + misc changes for 2020-10-16

2020-10-31 Thread Paolo Bonzini
Yup, it works only with --sphix-build which obviously is how I tested it... I will include a fix in my next pull request (I don't really have anything planned, but something will most likely pop up). Paolo Il sab 31 ott 2020, 16:46 Peter Maydell ha scritto: > On Sat, 17 Oct 2020 at 15:50, Paolo

Re: [PULL v3 00/22] Build system + misc changes for 2020-10-16

2020-10-31 Thread Peter Maydell
On Sat, 17 Oct 2020 at 15:50, Paolo Bonzini wrote: > > * Drop ninjatool and just require ninja (Paolo) > * Fix docs build under msys2 (Yonggang) > * HAX snafu fix (Claudio) > * Disable signal handlers during fuzzing (Alex) > * Miscel

Re: [PULL v3 00/22] Build system + misc changes for 2020-10-16

2020-10-19 Thread Peter Maydell
On Sat, 17 Oct 2020 at 15:50, Paolo Bonzini wrote: > > The following changes since commit 3e40748834923798aa57e3751db13a069e2c617b: > > Merge remote-tracking branch 'remotes/rth/tags/pull-mb-20201014' into > staging (2020-10-15 20:30:24 +0100) > > are available in the Git repository at: > > h

[PULL v3 00/22] Build system + misc changes for 2020-10-16

2020-10-17 Thread Paolo Bonzini
The following changes since commit 3e40748834923798aa57e3751db13a069e2c617b: Merge remote-tracking branch 'remotes/rth/tags/pull-mb-20201014' into staging (2020-10-15 20:30:24 +0100) are available in the Git repository at: https://gitlab.com/bonzini/qemu.git tags/for-upstream for you to fe