On Wed, Mar 23, 2022 at 3:50 PM Paolo Bonzini wrote:
>
> Signed-off-by: Paolo Bonzini
Reviewed-by: Marc-André Lureau
> ---
> configure | 18 --
> 1 file changed, 18 deletions(-)
>
> diff --git a/configure b/configure
> index 6d9cb23ac5..7c08c18358 100755
> --- a/configure
> ++
On 23/03/2022 12.50, Paolo Bonzini wrote:
Signed-off-by: Paolo Bonzini
---
configure | 18 --
1 file changed, 18 deletions(-)
diff --git a/configure b/configure
index 6d9cb23ac5..7c08c18358 100755
--- a/configure
+++ b/configure
@@ -2463,24 +2463,6 @@ else # "$safe_stack" = "
Signed-off-by: Paolo Bonzini
---
configure | 18 --
1 file changed, 18 deletions(-)
diff --git a/configure b/configure
index 6d9cb23ac5..7c08c18358 100755
--- a/configure
+++ b/configure
@@ -2463,24 +2463,6 @@ else # "$safe_stack" = ""
fi
fi
-#