3493

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
 }