On 02/10/20 14:36, Peter Maydell wrote: > On Fri, 2 Oct 2020 at 13:35, Peter Maydell <peter.mayd...@linaro.org> wrote: >> >> On Fri, 2 Oct 2020 at 13:02, Paolo Bonzini <pbonz...@redhat.com> wrote: >>> - the workaround: just leave things as they are and add >>> --disable-libudev to your script. >> >> There is no --disable-udev ! > > ...and there's no --disable-libudev either :-)
You're right---I was sure I used some get_option but it's not --disable-libudev; it's --disable-mpath. That made sense when mpath was the only thing that used libudev, but probably now we should add a separate --disable-libudev. Paolo