From a6deb48067f8049922f16ed3489896f7749fd39f Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 22 Oct 2016 11:35:08 -0700 Subject: 3551 --- build | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build b/build index 5d5d0fc7..cbf39994 100755 --- a/build +++ b/build @@ -98,9 +98,12 @@ 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 + + # shorter version but continues unnecessarily if tangle dies + # ./tangle/tangle $LAYERS |update mu.cc ./tangle/tangle $LAYERS > mu_tmp.cc # die if this fails cat mu_tmp.cc |update mu.cc + rm mu_tmp.cc } older_than cleave/cleave cleave/cleave.cc && { -- cgit 1.4.1-2-gfad0