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
tcg_tests_targets=
for target in $target_list; do
--
2.37.3
