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

[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 <richard.henderson@linaro.org>
> ---
>   Makefile | 10 ++++++++++
>   1 file changed, 10 insertions(+)


> @@ -303,6 +310,9 @@ endif
>         $(call print-help,distclean,Remove all generated files)
>         $(call print-help,dist,Build a distributable tarball)
>         @echo  ''
> +       @echo  'Linux-user targets:'
> +       $(call print-help,update-linux-vdso,Build linux-user vdso images)

Maybe amend '(require all cross-compilers to be present)'? Otherwise,

Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>

> +       @echo  ''
>         @echo  'Test targets:'
>         $(call print-help,check,Run all tests (check-help for details))
>         $(call print-help,bench,Run all benchmarks)