On 29/01/2024 14.48, Paolo Bonzini wrote:
Based-on: <20240129133651.1106552-1-pbonz...@redhat.com>
Signed-off-by: Paolo Bonzini
---
configure | 10 +-
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/configure b/configure
index 9cdb5a6818b..3cd736b139f 100755
--- a/config
Based-on: <20240129133651.1106552-1-pbonz...@redhat.com>
Signed-off-by: Paolo Bonzini
---
configure | 10 +-
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/configure b/configure
index 9cdb5a6818b..3cd736b139f 100755
--- a/configure
+++ b/configure
@@ -1538,6 +1538,11 @@ for