[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] configure: Avoid compiling system tools on user build by def
From: |
Richard Henderson |
Subject: |
Re: [PATCH] configure: Avoid compiling system tools on user build by default |
Date: |
Sat, 15 Feb 2020 18:14:54 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 |
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é <address@hidden>
> ---
> configure | 11 ++++++++++-
> 1 file changed, 10 insertions(+), 1 deletion(-)
Reviewed-by: Richard Henderson <address@hidden>
r~