diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 10:42:32 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 10:42:32 -0700 |
commit | 89fd0bf2e7d722895f5f926487c2cf9e241bb1c8 (patch) | |
tree | e44e895e43d031b8cad599cb0d59847e4ef9c310 /build | |
parent | a542b5a9c58993c95332bc7f3f5289dac2d7a945 (diff) | |
download | mu-89fd0bf2e7d722895f5f926487c2cf9e241bb1c8.tar.gz |
3546
Diffstat (limited to 'build')
-rwxr-xr-x | build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build b/build index 64909086..67ea0f8e 100755 --- a/build +++ b/build @@ -143,3 +143,7 @@ MU_LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER |grep '.mu$') || exit 0 cat $MU_LAYERS |update core.mu exit 0 + +# scenarios considered: +# no output when nothing needs updating +# only a single layer is recompiled when changing a C++ function |