diff options
Diffstat (limited to 'subx/test_apps')
-rwxr-xr-x | subx/test_apps | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/subx/test_apps b/subx/test_apps index 8c97c521..2bb7adec 100755 --- a/subx/test_apps +++ b/subx/test_apps @@ -150,4 +150,14 @@ test `uname` = 'Linux' && { echo } +echo crenshaw2-1b +CFLAGS=-g ./subx translate *.subx apps/crenshaw2-1b.subx -o apps/crenshaw2-1b +[ "$1" != record ] && git diff --quiet apps/crenshaw2-1b +CFLAGS=-g ./subx run apps/crenshaw2-1b test +echo +test `uname` = 'Linux' && { + apps/crenshaw2-1b test + echo +} + exit 0 |