From 22d93b76718a9e260c1969adf53fc0559cf24355 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 20 Oct 2016 23:57:12 -0700
Subject: 3538

---
 build | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'build')

diff --git a/build b/build
index dfd0fd81..ab9c92fd 100755
--- a/build
+++ b/build
@@ -94,7 +94,12 @@ older_than enumerate/enumerate enumerate/enumerate.cc && {
 )
 
 LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep -v '.mu$')
-./tangle/tangle $LAYERS |update mu.cc
+older_than mu.cc $LAYERS enumerate/enumerate tangle/tangle && {
+  # exception to the rules above: we combine 'older_than' and 'update' here
+  # because we sometimes want to hack directly on mu.cc and not lose our
+  # changes if they're newer.
+  ./tangle/tangle $LAYERS |update mu.cc
+}
 
 older_than cleave/cleave cleave/cleave.cc && {
   $CXX -O3 -Wall -Wextra -fno-strict-aliasing cleave/cleave.cc -o cleave/cleave
-- 
cgit 1.4.1-2-gfad0