diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build b/build index 9e95bb34..114fb7cd 100755 --- a/build +++ b/build @@ -72,8 +72,8 @@ noisy_cd() { echo "-- `pwd`" >&2 } -older_than enumerate/enumerate enumerate/enumerate.cc && { - $CXX $CFLAGS enumerate/enumerate.cc -o enumerate/enumerate +older_than tools/enumerate tools/enumerate.cc && { + $CXX $CFLAGS tools/enumerate.cc -o tools/enumerate } older_than tangle/tangle tangle/*.cc && { @@ -92,8 +92,8 @@ older_than tangle/tangle tangle/*.cc && { noisy_cd .. # no effect; just to show us returning to the parent directory } -LAYERS=$(enumerate/enumerate --until $UNTIL_LAYER |grep '.cc$') -older_than subx.cc $LAYERS enumerate/enumerate tangle/tangle && { +LAYERS=$(tools/enumerate --until $UNTIL_LAYER |grep '.cc$') +older_than subx.cc $LAYERS tools/enumerate tangle/tangle && { # no update here; rely on 'update' calls downstream tangle/tangle $LAYERS > subx.cc } |