Re: [PATCH v5 01/11] Revert "configure: add --ninja option"

2020-09-05 Thread Paolo Bonzini
Il sab 5 set 2020, 10:29 Thomas Huth ha scritto: > On 05/09/2020 08.23, Yonggang Luo wrote: > > This reverts commit 48328880fddf0145bdccc499160fb24dfabfbd41. > > > > Signed-off-by: Yonggang Luo > > --- > > configure | 16 +--- > > 1 file changed, 1 insertion(+), 15 deletions(-) > >

Re: [PATCH v5 01/11] Revert "configure: add --ninja option"

2020-09-05 Thread Mark Cave-Ayland
On 05/09/2020 09:29, Thomas Huth wrote: > On 05/09/2020 08.23, Yonggang Luo wrote: >> This reverts commit 48328880fddf0145bdccc499160fb24dfabfbd41. >> >> Signed-off-by: Yonggang Luo >> --- >> configure | 16 +--- >> 1 file changed, 1 insertion(+), 15 deletions(-) > > Please be a lit

Re: [PATCH v5 01/11] Revert "configure: add --ninja option"

2020-09-05 Thread Thomas Huth
On 05/09/2020 08.23, Yonggang Luo wrote: > This reverts commit 48328880fddf0145bdccc499160fb24dfabfbd41. > > Signed-off-by: Yonggang Luo > --- > configure | 16 +--- > 1 file changed, 1 insertion(+), 15 deletions(-) Please be a little bit more descriptive in the patch description: W

[PATCH v5 01/11] Revert "configure: add --ninja option"

2020-09-04 Thread Yonggang Luo
This reverts commit 48328880fddf0145bdccc499160fb24dfabfbd41. Signed-off-by: Yonggang Luo --- configure | 16 +--- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/configure b/configure index d3495e107f..5d8bf4d8bb 100755 --- a/configure +++ b/configure @@ -517,7 +517,6