about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xntranslate4
-rwxr-xr-xtranslate5
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