Makefile

   1 all: publish
   2
   3 perf:
   4         cat logs/nul_*.log | ./wvperfpreprocess.py | ./wvperf2html.py > performance.html
   5
   6 report:
   7         ./wvtest2html.py test-report < logs/$(shell ls logs|tail -n 1)
   8
   9 clean:
  10         rm -rf test-report
  11         rm -rf performance.html *.json
  12
  13
  14 publish: perf report
  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/
  17
  18 .PHONY: all publish perf report