summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 15 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 32f6aa8..2433085 100644
--- a/Makefile
+++ b/Makefile
@@ -316,6 +316,21 @@ all-deps-2 = $(if $(findstring clean,$(MAKECMDGOALS)),,$(all-deps-1))
# Include external dependency of firmwares after default Makefile rules
include $(src_dir)/firmware/external_deps.mk
+# Convenient "make run" command for emulated platforms
+.PHONY: run
+run: all
+ifneq ($(platform-runcmd),)
+ $(platform-runcmd) $(RUN_ARGS)
+else
+ifdef PLATFORM
+ @echo Platform $(PLATFORM) doesn't specify a run command
+ @false
+else
+ @echo Run command only available when targeting a platform
+ @false
+endif
+endif
+
install_targets-y = install_libsbi
ifdef PLATFORM
install_targets-y += install_libplatsbi