On Fri, Dec 09, 2022 at 12:23:44PM +0100, Paolo Bonzini wrote:
> Signed-off-by: Paolo Bonzini
> ---
> configure | 20
> 1 file changed, 20 deletions(-)
Reviewed-by: Daniel P. Berrangé
With regards,
Daniel
--
|: https://berrange.com -o-https://www.flickr.com/phot
On Fri, Dec 9, 2022 at 3:43 PM Paolo Bonzini wrote:
>
> Signed-off-by: Paolo Bonzini
Reviewed-by: Marc-André Lureau
> ---
> configure | 20
> 1 file changed, 20 deletions(-)
>
> diff --git a/configure b/configure
> index 4d14ff9c319c..adfff30a6204 100755
> --- a/configur
Signed-off-by: Paolo Bonzini
---
configure | 20
1 file changed, 20 deletions(-)
diff --git a/configure b/configure
index 4d14ff9c319c..adfff30a6204 100755
--- a/configure
+++ b/configure
@@ -838,17 +838,6 @@ for opt do
;;
--with-coroutine=*) coroutine="$optarg"
;;
