diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-08-25 22:15:26 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-08-25 22:15:26 -0700 |
| commit | 418ea7d3dbc81b066852c615329b1f463a2a33c0 (patch) | |
| tree | 9c9495278389241e789e720b80d494a51026a092 /ntranslate | |
| parent | 840236597711c51ef2c233c824fa39b44e64cce9 (diff) | |
| download | mu-418ea7d3dbc81b066852c615329b1f463a2a33c0.tar.gz | |
5588 - always include desugar in build
Diffstat (limited to 'ntranslate')
| -rwxr-xr-x | ntranslate | 4 |
1 files changed, 3 insertions, 1 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 |