workbench launch option

2026-09-13 04:05:50 +00:00 · 2016-05-29 13:09:10 +10:00
parent 9747e0ecc0
commit 1f87824976
8 changed files with 2378 additions and 77 deletions
@@ -138,6 +138,7 @@ out/main.bin: out/main.o $(OBJS)
 out/shrunk.bin: $(SHRINKLER_EXE) out/main.bin
 	$(SHRINKLEREXE) -d out/main.bin out/shrunk.bin

+.PHONE: clean
 clean:
 	rm -rf out bin *~