Re: [PATCH] configure: Only clone softfloat-3 repositories if TCG is enabled

2021-05-12 Thread Paolo Bonzini
On 12/05/21 06:58, Philippe Mathieu-Daudé wrote: Signed-off-by: Philippe Mathieu-Daudé --- configure | 7 +-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 5877a6b2bfe..e0e02623e3e 100755 --- a/configure +++ b/configure @@ -257,8 +257,6 @@ if te

Re: [PATCH] configure: Only clone softfloat-3 repositories if TCG is enabled

2021-05-11 Thread Philippe Mathieu-Daudé
On 5/12/21 7:12 AM, Thomas Huth wrote: > On 12/05/2021 06.58, Philippe Mathieu-Daudé wrote: >> Signed-off-by: Philippe Mathieu-Daudé >> --- >>   configure | 7 +-- >>   1 file changed, 5 insertions(+), 2 deletions(-) >> >> diff --git a/configure b/configure >> index 5877a6b2bfe..e0e02623e3e 100

Re: [PATCH] configure: Only clone softfloat-3 repositories if TCG is enabled

2021-05-11 Thread Thomas Huth
On 12/05/2021 06.58, Philippe Mathieu-Daudé wrote: Signed-off-by: Philippe Mathieu-Daudé --- configure | 7 +-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 5877a6b2bfe..e0e02623e3e 100755 --- a/configure +++ b/configure @@ -257,8 +257,6 @@ if

[PATCH] configure: Only clone softfloat-3 repositories if TCG is enabled

2021-05-11 Thread Philippe Mathieu-Daudé
Signed-off-by: Philippe Mathieu-Daudé --- configure | 7 +-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 5877a6b2bfe..e0e02623e3e 100755 --- a/configure +++ b/configure @@ -257,8 +257,6 @@ if test -e "$source_path/.git" then git_submodules_a