diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-03-08 11:32:37 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-03-08 11:32:37 +0000 |
| commit | 2d03ff53b4f1c73bfdb02045d5b632a80f8caeeb (patch) | |
| tree | 2ef94609dd84b048ac7dacde04acac308cc5821f /makefile | |
| parent | 42a47783d6c97304235d3a0d3f1b159d6503685f (diff) | |
Add separate target for building runtime
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |