Re: [PATCH] configure: Avoid compiling system tools on user build by default

2020-02-16 Thread Philippe Mathieu-Daudé
On Sun, Feb 16, 2020 at 8:27 PM Aleksandar Markovic wrote: > > 5:23 PM Sub, 15.02.2020. Philippe Mathieu-Daudé је > написао/ла: > > > > User-mode does not need the sytem tools. Do not build them by > > default if user specified --disable-system. > > > > Signed-off-by: Philippe Mathieu-Daudé > >

Re: [PATCH] configure: Avoid compiling system tools on user build by default

2020-02-16 Thread Aleksandar Markovic
5:23 PM Sub, 15.02.2020. Philippe Mathieu-Daudé је написао/ла: > > User-mode does not need the sytem tools. Do not build them by > default if user specified --disable-system. > > Signed-off-by: Philippe Mathieu-Daudé > --- > configure | 11 ++- > 1 file changed, 10 insertions(+), 1 delet

Re: [PATCH] configure: Avoid compiling system tools on user build by default

2020-02-15 Thread Richard Henderson
On 2/15/20 8:23 AM, Philippe Mathieu-Daudé wrote: > User-mode does not need the sytem tools. Do not build them by > default if user specified --disable-system. > > Signed-off-by: Philippe Mathieu-Daudé > --- > configure | 11 ++- > 1 file changed, 10 insertions(+), 1 deletion(-) Reviewe

[PATCH] configure: Avoid compiling system tools on user build by default

2020-02-15 Thread Philippe Mathieu-Daudé
User-mode does not need the sytem tools. Do not build them by default if user specified --disable-system. Signed-off-by: Philippe Mathieu-Daudé --- configure | 11 ++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/configure b/configure index 16f94cd96b..557ca4bd04 100755