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. |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| all.do | ||
| check-1.sh | ||
| check-2.sh | ||
| clean.do | ||
| countall.do | ||
| default.n0.do | ||
| default.n1.do | ||
| default.n2.do | ||
| Makefile | ||