about summary refs log tree commit diff stats
path: root/build
diff options
context:
space:
mode:
Diffstat (limited to 'build')
-rwxr-xr-xbuild2
1 files changed, 2 insertions, 0 deletions
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