diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build b/build index 5a3cae9e..dda1c974 100755 --- a/build +++ b/build @@ -90,7 +90,7 @@ older_than tangle/tangle tangle/*.cc && { noisy_cd .. # no effect; just to show us returning to the parent directory } -LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep '.cc$') +LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep '\.cc$') older_than mu.cc $LAYERS enumerate/enumerate tangle/tangle && { # no update here; rely on 'update' calls downstream ./tangle/tangle $LAYERS > mu.cc @@ -134,7 +134,7 @@ older_than mu_bin mu.cc *_list cleave/cleave termbox/* && { ## [0-9]*.mu -> core.mu -MU_LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep '.mu$') || exit 0 # ok if no .mu files +MU_LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep '\.mu$') || exit 0 # ok if no .mu files cat $MU_LAYERS |update core.mu exit 0 |