4 cat logs/nul_*.log | ./wvperfpreprocess.py | ./wvperf2html.py > performance.html
7 ./wvtest2html.py test-report < logs/$(shell ls logs|tail -n 1)
11 rm -rf performance.html *.json
15 rsync -r test-report performance.html *.json sojka@rtime:public_html/nul/
16 rsync -r test-report performance.html *.json sojka@os.inf.tu-dresden.de:public_html/nul/
18 .PHONY: all publish perf report