diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
| commit | 0d3b3ef04af50bd987979495e7e7ec3317b24b1c (patch) | |
| tree | 812e679560e8c43563a8237eb996e18d81f8f69e /build | |
| parent | 749d455ac3c6bcad8a09d96bc613aafc2af45292 (diff) | |
| parent | b60d8c920ef988e8058c1e31bd0907643b60cb5d (diff) | |
| download | mu-0d3b3ef04af50bd987979495e7e7ec3317b24b1c.tar.gz | |
Merge branch 'master' into desugar
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 3 |
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 |