Still fiddling to make test.sh work everywhere. Set first line to #!/bin/sh.

This commit is contained in:
David Brown 2016-07-17 11:44:25 +01:00
parent f2e12bf481
commit d8882462b1
7 changed files with 7 additions and 7 deletions

View file

@ -1,4 +1,4 @@
#!
#!/bin/sh
. ../testenv.sh
voc LSS.Mod LSB.Mod LSC.Mod LSV.Mod lola.Mod -m
./Lola RISC5.Lola result