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
64 B
Text
3 lines
64 B
Text
rm -f *~ .*~ *.n0 *.n1 *.n2 *.tmp *.count countall *.countall
|
|
|
|
|