Re: [PATCH] configure: remove dead variables

2021-12-10 Thread Alex Bennée
Paolo Bonzini writes: > Signed-off-by: Paolo Bonzini Reviewed-by: Alex Bennée -- Alex Bennée

Re: [PATCH] configure: remove dead variables

2021-12-10 Thread Ján Tomko
On a Friday in 2021, Paolo Bonzini wrote: Signed-off-by: Paolo Bonzini --- configure | 5 - 1 file changed, 5 deletions(-) Reviewed-by: Ján Tomko $supported_os is unused since commit f9332757898a764d85e19d339ec421236e885b68 meson: move summary to meson.build $haiku is unused since c

[PATCH] configure: remove dead variables

2021-12-10 Thread Paolo Bonzini
Signed-off-by: Paolo Bonzini --- configure | 5 - 1 file changed, 5 deletions(-) diff --git a/configure b/configure index 48c21775f3..d3aac031a5 100755 --- a/configure +++ b/configure @@ -626,7 +626,6 @@ fi case $targetos in MINGW32*) mingw32="yes" - supported_os="yes" plugins="no"