diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build index 3d2e945e..aaa236de 100755 --- a/build +++ b/build @@ -140,7 +140,7 @@ then done # higher-level syntax - for phase in desugar + for phase in sigils do older_than apps/$phase apps/$phase.subx apps/subx-common.subx [0-9]*.subx && { ./subx_bin translate [0-9]*.subx apps/subx-common.subx apps/$phase.subx -o apps/$phase |