quickSelfTest/run.sh
author sr
Tue, 19 Sep 2017 10:17:02 +0200
changeset 344 902f67b073c3
parent 329 6a3fe7cea4e1
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
41
6a6257b8dff4 *** empty log message ***
Stefan Vogel <sv@exept.de>
parents: 40
diff changeset
     1
#!/bin/sh
87
432ff6d3a032 Add --debug
Stefan Vogel <sv@exept.de>
parents: 51
diff changeset
     2
# use --debug as arg to debug failed test cases
41
6a6257b8dff4 *** empty log message ***
Stefan Vogel <sv@exept.de>
parents: 40
diff changeset
     3
329
6a3fe7cea4e1 *** empty log message ***
sr
parents: 308
diff changeset
     4
../../../projects/smalltalk/stx -I --noInfoPrint --noBanner --ignoreHalt --abortOnInternalError --abortOnMessageSendError $* --execute Start.st