Re: [PATCH v6 19/19] build: Add update-linux-vdso makefile rule

2023-10-03 Thread Philippe Mathieu-Daudé
On 30/9/23 04:15, Richard Henderson wrote: This is not ideal, since it requires all cross-compilers to be present rather than a simple subset. But since it is only run manually, should be good enough for now. Signed-off-by: Richard Henderson --- Makefile | 10 ++ 1 file changed, 10

[PATCH v6 19/19] build: Add update-linux-vdso makefile rule

2023-09-29 Thread Richard Henderson
This is not ideal, since it requires all cross-compilers to be present rather than a simple subset. But since it is only run manually, should be good enough for now. Signed-off-by: Richard Henderson --- Makefile | 10 ++ 1 file changed, 10 insertions(+) diff --git a/Makefile b/Makefile