diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/build b/build index deee6e64..3d2e945e 100755 --- a/build +++ b/build @@ -109,7 +109,7 @@ older_than subx_bin subx.cc *_list && { # We ought to always rebuild all apps if any .subx layers are updated. # But during development it's too slow to update _all_ apps when we're # repeatedly running a single one. -if [ $ALL ] +if [ ! $ONLY_CPP ] then # Assumption: SubX programs don't need to be retranslated every time we @@ -139,6 +139,14 @@ then } done + # higher-level syntax + for phase in desugar + 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 + } + done + fi exit 0 |