Merge branch 'master' into desugar

1 files changed, 3 insertions, 0 deletions

diff --git a/build b/build
index ad0f6e8a..3d2e945e 100755
--- a/build
+++ b/build
@@ -106,6 +106,9 @@ older_than subx_bin subx.cc *_list && {
   $CXX $CFLAGS subx.cc -o subx_bin
 }
 
+# We ought to always rebuild all apps if any .subx layers are updated.
+# But during development it's too slow to update _all_ apps when we're
+# repeatedly running a single one.
 if [ ! $ONLY_CPP ]
 then