diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-02-15 10:13:57 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-02-15 10:13:57 -0800 |
commit | 2dc9b6955b7d2588de65b472d8b9690945ce4107 (patch) | |
tree | 2001ebad548da6f06972b7ac75cff5c77f51b49c | |
parent | 6ded65f45f633637de853b4e0b483080050394ca (diff) | |
download | mu-2dc9b6955b7d2588de65b472d8b9690945ce4107.tar.gz |
4970
-rwxr-xr-x | subx/build | 8 |
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 |