about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-02-15 10:13:57 -0800
committerKartik Agaram <vc@akkartik.com>2019-02-15 10:13:57 -0800
commit2dc9b6955b7d2588de65b472d8b9690945ce4107 (patch)
tree2001ebad548da6f06972b7ac75cff5c77f51b49c
parent6ded65f45f633637de853b4e0b483080050394ca (diff)
downloadmu-2dc9b6955b7d2588de65b472d8b9690945ce4107.tar.gz
4970
-rwxr-xr-xsubx/build8
1 files changed, 4 insertions, 4 deletions
diff --git a/subx/build b/subx/build
index 1979d623..614b07d8 100755
--- a/subx/build
+++ b/subx/build
@@ -11,11 +11,11 @@ set -e  # stop immediately on error
 #   $ ./build --until 050
 UNTIL_LAYER=${2:-zzz}
 
-# there's two mechanisms for fast builds here:
-# - if a command is quick to run, always run it but update the result only on any change
-# - otherwise run it only if the output is 'older_than' the inputs
+# we use two mechanisms to speed up rebuilds:
+# - older_than: run a command if the output is older than any of the inputs
+# - update: if a command is quick to run, always run it but update the result only on any change
 #
-# avoid combining both mechanisms for a single file
+# avoid combining both mechanisms to generate a single file
 # otherwise you'll see spurious messages about files being updated
 # risk: a file may unnecessarily update without changes, causing unnecessary work downstream