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.
3 lines
86 B
Bash
3 lines
86 B
Bash
rm -f in.countall out.countall *.count
|
|
touch in.countall out.countall
|
|
echo x >x.count
|