On 26/03/19 10:04, Laurent Vivier wrote:
> On 26/03/2019 09:44, Paolo Bonzini wrote:
>> On 21/03/19 13:46, Laurent Vivier wrote:
>>> we don't need to generate the files for linux-user or for the tools
>>>
>>> Signed-off-by: Laurent Vivier
>>> ---
>>> Makefile | 2 ++
>>> 1 file changed, 2 inserti
On 26/03/2019 09:44, Paolo Bonzini wrote:
> On 21/03/19 13:46, Laurent Vivier wrote:
>> we don't need to generate the files for linux-user or for the tools
>>
>> Signed-off-by: Laurent Vivier
>> ---
>> Makefile | 2 ++
>> 1 file changed, 2 insertions(+)
>>
>> diff --git a/Makefile b/Makefile
>> i
On 21/03/19 13:46, Laurent Vivier wrote:
> we don't need to generate the files for linux-user or for the tools
>
> Signed-off-by: Laurent Vivier
> ---
> Makefile | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/Makefile b/Makefile
> index d8dad39c5db1..609fac844637 100644
> --- a/Make
Le jeu. 21 mars 2019 13:50, Laurent Vivier a écrit :
> we don't need to generate the files for linux-user or for the tools
>
> Signed-off-by: Laurent Vivier
> ---
> Makefile | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/Makefile b/Makefile
> index d8dad39c5db1..609fac844637 100644
we don't need to generate the files for linux-user or for the tools
Signed-off-by: Laurent Vivier
---
Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Makefile b/Makefile
index d8dad39c5db1..609fac844637 100644
--- a/Makefile
+++ b/Makefile
@@ -261,6 +261,7 @@ trace-dtrace-root.o: