de042fc2f2
redo: 5.4s redo -j4: 3.0s make: 2.3s make -j4: 1.4s make SHELL=/bin/dash: 1.2s make SHELL=/bin/dash -j4: 0.83s We have some distance to go yet. Of course, redo is still written in python, not C, so it's very expensive, and the on-disk dependency store is very inefficient.
5 lines
111 B
Text
5 lines
111 B
Text
. ./check-1.sh
|
|
redo-ifchange 1.n0 2.n0 3.n0
|
|
DEPS=$(seq 10 | sed 's/$/.n1/')
|
|
redo-ifchange $DEPS
|
|
. ./check-2.sh
|