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. Paolo
