1
0
mirror of https://github.com/dschmenk/PLASMA.git synced 2024-08-21 06:29:07 +00:00

Clean up sandbox

This commit is contained in:
David Schmenk 2017-12-15 20:21:05 -08:00
parent 3ab50047a7
commit 40715efbdb
2 changed files with 420 additions and 410 deletions

View File

@ -126,7 +126,7 @@ $(ED): toolsrc/ed.pla $(PLVM02) $(PLASM) toolsrc/ed.pla
acme --setpc 8192 -o $(ED) toolsrc/ed.a
$(SB): toolsrc/sb.pla $(PLVM02) $(PLASM) toolsrc/sb.pla
./$(PLASM) -AO < toolsrc/sb.pla > toolsrc/sb.a
./$(PLASM) -AOW < toolsrc/sb.pla > toolsrc/sb.a
acme --setpc 8192 -o $(SB) toolsrc/sb.a
$(ARGS): libsrc/args.pla $(PLVM02) $(PLASM)

File diff suppressed because it is too large Load Diff