Re: [PATCH] configure: check for $download value properly

2023-06-07 Thread Paolo Bonzini
Queued, thanks. Paolo

Re: [PATCH] configure: check for $download value properly

2023-06-07 Thread Philippe Mathieu-Daudé
On 7/6/23 09:50, Michal Privoznik wrote: If configure was invoked with --disable-download and git submodules were not checked out a warning is produced and the configure script fails. But the $download variable (which reflects the enable/disable download argument) is checked for in a weird fashio

[PATCH] configure: check for $download value properly

2023-06-07 Thread Michal Privoznik
If configure was invoked with --disable-download and git submodules were not checked out a warning is produced and the configure script fails. But the $download variable (which reflects the enable/disable download argument) is checked for in a weird fashion: test -f "$download" = disabled Drop