Added -i | --ident option to report-runner.
authorJan Vrany <jan.vrany@fit.cvut.cz>
Wed, 22 Jan 2014 12:22:29 +0100
changeset 224 9a6fb3d14e65
parent 223 850c3b836423
child 225 07dd0c1e4e6d
Added -i | --ident option to report-runner. The ident string is then part of output file name.