On 2 November 2015 at 14:06, Stefan Hajnoczi <stefa...@redhat.com> wrote: > According to ./configure all options should have both --enable-foo and > --disable-foo: > > # Always add --enable-foo and --disable-foo command line args. > # Distributions want to ensure that several features are compiled in, and it > # is impossible without a --enable-foo that exits if a feature is not found. > > Signed-off-by: Stefan Hajnoczi <stefa...@redhat.com> > --- > configure | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/configure b/configure > index 7a1d08d..75b4fa5 100755 > --- a/configure > +++ b/configure > @@ -787,6 +787,9 @@ for opt do > --enable-modules) > modules="yes" > ;; > + --disable-modules) > + modules="no" > + ;; > --cpu=*) > ;; > --target-list=*) target_list="$optarg" > -- > 2.4.3
Applied to master, thanks. -- PMM