Re: [PATCH 5/9] configure: remove dead variable

2020-09-20 Thread Richard Henderson
On 9/20/20 6:07 AM, Paolo Bonzini wrote: > Signed-off-by: Paolo Bonzini > --- > configure | 11 --- > 1 file changed, 11 deletions(-) Reviewed-by: Richard Henderson r~

[PATCH 5/9] configure: remove dead variable

2020-09-20 Thread Paolo Bonzini
Signed-off-by: Paolo Bonzini --- configure | 11 --- 1 file changed, 11 deletions(-) diff --git a/configure b/configure index ee5c4da54b..df3b031b1c 100755 --- a/configure +++ b/configure @@ -808,9 +808,6 @@ fi # OS specific -# host *BSD for user mode -HOST_VARIANT_DIR="" - case $t