diff options
-rwxr-xr-x | ntranslate | 4 | ||||
-rwxr-xr-x | translate | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/ntranslate b/ntranslate index 9a15e047..909d2b99 100755 --- a/ntranslate +++ b/ntranslate @@ -15,7 +15,9 @@ set -e ./build -cat $* |apps/tests > a.tests +cat $* |apps/desugar > a.desugar + +cat a.desugar |apps/tests > a.tests cat a.tests |apps/dquotes > a.dquotes diff --git a/translate b/translate index a3acacc6..aafb11a3 100755 --- a/translate +++ b/translate @@ -15,8 +15,11 @@ set -e ./build +echo " desugar" +cat $* |./subx_bin run apps/desugar > a.desugar + echo " tests" -cat $* |./subx_bin run apps/tests > a.tests +cat a.desugar |./subx_bin run apps/tests > a.tests echo " dquotes" cat a.tests |./subx_bin run apps/dquotes > a.dquotes |