Paolo Bonzini <[email protected]> writes:
> On Thu, Oct 13, 2022 at 10:35 PM Alex Bennée <[email protected]> wrote: >> >> >> Paolo Bonzini <[email protected]> writes: >> >> > Signed-off-by: Paolo Bonzini <[email protected]> >> > --- >> > configure | 3 +++ >> > 1 file changed, 3 insertions(+) >> > >> > diff --git a/configure b/configure >> > index f4ff1cf305..a5af9c524f 100755 >> > --- a/configure >> > +++ b/configure >> > @@ -2474,6 +2474,9 @@ echo "HOST_CC=$host_cc" >> $config_host_mak >> > if test -n "$gdb_bin"; then >> > echo "HAVE_GDB_BIN=$gdb_bin" >> $config_host_mak >> > fi >> > +if test "$plugins" = "yes" ; then >> > + echo "CONFIG_PLUGIN=y" >> $config_host_mak >> > +fi >> >> Don't we already do that anyway? > > No, we don't. CONFIG_PLUGIN enables "make test-plugins" and "make > plugins" but not the plugin tests in tests/tcg. Ahh I see. Queued to testing/next, thanks. -- Alex Bennée
