From e3a53f3a7d5bc581661fdd249c1a74732493b550 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 18 Apr 2017 18:16:23 -0700 Subject: 3834 --- build | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build b/build index bcab9a26..09208271 100755 --- a/build +++ b/build @@ -148,5 +148,7 @@ exit 0 # scenarios considered: # no output when nothing needs updating +# no output for mu.cc when .mu files modified +# touch mu.cc but don't modify it; no output on second build # only a single layer is recompiled when changing a C++ function # stop immediately after failure in tangle -- cgit 1.4.1-2-gfad0