Re: [PATCH 05/14] stubs/Makefile: Reduce the user-mode object list

2020-03-15 Thread Richard Henderson
On 3/13/20 11:36 AM, Philippe Mathieu-Daudé wrote: > These stubs are not required when configured with --disable-system. > > Signed-off-by: Philippe Mathieu-Daudé > --- > stubs/Makefile.objs | 52 ++--- > 1 file changed, 30 insertions(+), 22 deletions(-)

[PATCH 05/14] stubs/Makefile: Reduce the user-mode object list

2020-03-13 Thread Philippe Mathieu-Daudé
These stubs are not required when configured with --disable-system. Signed-off-by: Philippe Mathieu-Daudé --- stubs/Makefile.objs | 52 ++--- 1 file changed, 30 insertions(+), 22 deletions(-) diff --git a/stubs/Makefile.objs b/stubs/Makefile.objs index 45