diff options
| -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 |