Paolo Bonzini writes:
> On Thu, Oct 13, 2022 at 10:35 PM Alex Bennée wrote:
>>
>>
>> Paolo Bonzini writes:
>>
>> > Signed-off-by: Paolo Bonzini
>> > ---
>> > configure | 3 +++
>> > 1 file changed, 3 insertions(+)
>> >
>> > diff --git a/configure b/configure
>> > index f4ff1cf305..a5af9c524
On Thu, Oct 13, 2022 at 10:35 PM Alex Bennée wrote:
>
>
> Paolo Bonzini writes:
>
> > Signed-off-by: Paolo Bonzini
> > ---
> > configure | 3 +++
> > 1 file changed, 3 insertions(+)
> >
> > diff --git a/configure b/configure
> > index f4ff1cf305..a5af9c524f 100755
> > --- a/configure
> > +++ b/
Paolo Bonzini writes:
> Signed-off-by: Paolo Bonzini
> ---
> 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_ma
Signed-off-by: Paolo Bonzini
---
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 "HAV