Re: [PATCH 09/10] configure: remove $linux and $mingw32 variables

[Philippe Mathieu-Daudé]

On 29/8/23 10:29, Paolo Bonzini wrote:

Just use $targetos always.

Signed-off-by: Paolo Bonzini <pbonz...@redhat.com>
---
  configure | 18 ++++++------------
  1 file changed, 6 insertions(+), 12 deletions(-)

Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org>