diff options
Diffstat (limited to 'test_apps')
| -rwxr-xr-x | test_apps | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test_apps b/test_apps index ed7350e4..3cc3de79 100755 --- a/test_apps +++ b/test_apps @@ -297,13 +297,13 @@ test $NATIVE && { # Higher-level syntax. -echo desugar -./subx translate 0*.subx apps/subx-common.subx apps/desugar.subx -o apps/desugar -[ "$1" != record ] && git diff --exit-code apps/desugar -./subx run apps/desugar test +echo sigils +./subx translate 0*.subx apps/subx-common.subx apps/sigils.subx -o apps/sigils +[ "$1" != record ] && git diff --exit-code apps/sigils +./subx run apps/sigils test echo test `uname` = 'Linux' && { - apps/desugar test + apps/sigils test echo } @@ -333,7 +333,7 @@ done # Phases of the self-hosted SubX translator. -for app in hex survey pack assort dquotes tests desugar +for app in hex survey pack assort dquotes tests sigils do echo $app ./ntranslate 0*.subx apps/subx-common.subx apps/$app.subx |