diff options
-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 3001940f..08153d67 100755 --- a/subx/test_apps +++ b/subx/test_apps @@ -200,4 +200,14 @@ test `uname` = 'Linux' && { echo } +echo dquotes +./subx translate 0*.subx apps/subx-common.subx apps/dquotes.subx -o apps/dquotes +[ "$1" != record ] && git diff --exit-code apps/dquotes +./subx run apps/dquotes test +echo +test `uname` = 'Linux' && { + apps/dquotes test + echo +} + exit 0 |