diff options
-rwxr-xr-x | build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build index 95eb0c46..974866a3 100755 --- a/build +++ b/build @@ -121,7 +121,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 -older_than core.mu $MU_LAYERS && { +older_than core.mu $MU_LAYERS enumerate/enumerate && { cat $MU_LAYERS > core.mu } |