From 2d03ff53b4f1c73bfdb02045d5b632a80f8caeeb Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 8 Mar 2025 11:32:37 +0000 Subject: Add separate target for building runtime --- makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'makefile') diff --git a/makefile b/makefile index e3a90ade..2934d592 100644 --- a/makefile +++ b/makefile @@ -16,5 +16,9 @@ native-headers: package .PHONY: runtime -runtime: native-headers +runtime: native-headers build-runtime + +.PHONY: build-runtime + +build-runtime: python3 runtime/build.py standard -- cgit v1.2.3