diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build b/build index d65c4dc4..0d723656 100755 --- a/build +++ b/build @@ -134,6 +134,11 @@ then done # self-hosting translator + + older_than apps/hex init.$OS 0[0-6]*.subx 070---hex.subx && { + ./subx_bin translate init.$OS 0[0-6]*.subx 070---hex.subx -o apps/hex + } + for phase in hex survey pack assort dquotes tests do older_than apps/$phase init.$OS [0-9]*.subx apps/subx-common.subx apps/$phase.subx && { |