Move report from run.sh to makefile
authorIustin Pop <iustin@k1024.org>
Sat, 16 May 2015 13:29:28 +0000 (15:29 +0200)
committerIustin Pop <iustin@k1024.org>
Sat, 16 May 2015 13:29:28 +0000 (15:29 +0200)
commit15cd7e65941c514e35bb6113d6a70b1933025099
tree3233e6265894f4bc29762a9b6af994fdb96a7063
parent5b174285e631cf0f349b623acd1d8e748d17c0f0
Move report from run.sh to makefile

This allows it to be run separately from a full run.
Makefile
run.sh