Now 'redo test' runs the tests, but 'redo t' just builds the programs. Also removed wvtest stuff; we're not really using it properly anyway and it's not helping our testing right now. It might come back later. |
||
|---|---|---|
| .. | ||
| .gitignore | ||
| check-1.sh | ||
| check-2.sh | ||
| clean.do | ||
| countall.do | ||
| default.n0.do | ||
| default.n1.do | ||
| default.n2.do | ||
| Makefile | ||
| test.do | ||