build: Add update-linux-vdso makefile rule
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.
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
diff --git a/Makefile b/Makefile
index bfc4b2c..676a4a5 100644
--- a/Makefile
+++ b/Makefile
@@ -283,6 +283,13 @@
print-help-run = printf " %-30s - %s\\n" "$1" "$2"
print-help = @$(call print-help-run,$1,$2)
+.PHONY: update-linux-vdso
+update-linux-vdso:
+ @for m in $(SRC_PATH)/linux-user/*/Makefile.vdso; do \
+ $(MAKE) $(SUBDIR_MAKEFLAGS) -C $$(dirname $$m) -f Makefile.vdso \
+ SRC_PATH=$(SRC_PATH) BUILD_DIR=$(BUILD_DIR); \
+ done
+
.PHONY: help
help:
@echo 'Generic targets:'
@@ -303,6 +310,9 @@
$(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)
+ @echo ''
@echo 'Test targets:'
$(call print-help,check,Run all tests (check-help for details))
$(call print-help,bench,Run all benchmarks)
