Re: [PATCH] linux-user: Clean up unused header

2024-10-15 Thread Richard Henderson
On 10/15/24 07:09, Gustavo Romero wrote: Clean up unused (already commented-out) header from syscall.c. Signed-off-by: Gustavo Romero --- linux-user/syscall.c | 1 - 1 file changed, 1 deletion(-) diff --git a/linux-user/syscall.c b/linux-user/syscall.c index 1354e75694..d1b0f7c5bb 100644 --

Re: [PATCH] linux-user: Clean up unused header

2024-10-15 Thread Philippe Mathieu-Daudé
On 15/10/24 11:09, Gustavo Romero wrote: Clean up unused (already commented-out) header from syscall.c. Signed-off-by: Gustavo Romero --- linux-user/syscall.c | 1 - 1 file changed, 1 deletion(-) Reviewed-by: Philippe Mathieu-Daudé

[PATCH] linux-user: Clean up unused header

2024-10-15 Thread Gustavo Romero
Clean up unused (already commented-out) header from syscall.c. Signed-off-by: Gustavo Romero --- linux-user/syscall.c | 1 - 1 file changed, 1 deletion(-) diff --git a/linux-user/syscall.c b/linux-user/syscall.c index 1354e75694..d1b0f7c5bb 100644 --- a/linux-user/syscall.c +++ b/linux-user/sys