Tweaked CI

This commit is contained in:
2026-04-07 22:00:54 +10:00
parent 842f041a50
commit 3a24fbf6e1
3 changed files with 16 additions and 20 deletions

View File

@@ -23,10 +23,13 @@ source:
repl: source
$(MAKE) -C repl -k
.PHONY: tests
.PHONY: tests tests-ci
tests: clean
$(MAKE) -C tests -k
tests-gdb: clean
$(MAKE) -C tests -k gdb
#util targets
$(TOY_OUTDIR):
mkdir $(TOY_OUTDIR)