Fri, 24 Jan 2014 20:10:45 +0100 Hack - make sure makefile in stc & librun exists
Jan Vrany <jan.vrany@fit.cvut.cz> [Fri, 24 Jan 2014 20:10:45 +0100] rev 227
Hack - make sure makefile in stc & librun exists
Fri, 24 Jan 2014 17:38:45 +0100 Script fixed and changed to use jv's stc & librun
Jan Vrany <jan.vrany@fit.cvut.cz> [Fri, 24 Jan 2014 17:38:45 +0100] rev 226
Script fixed and changed to use jv's stc & librun
Fri, 24 Jan 2014 16:30:31 +0100 Fixed setup option, meant to be -S
Jan Vrany <jan.vrany@fit.cvut.cz> [Fri, 24 Jan 2014 16:30:31 +0100] rev 225
Fixed setup option, meant to be -S
Wed, 22 Jan 2014 12:22:29 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:22:29 +0100] rev 224
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:22:21 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:22:21 +0100] rev 223
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:53 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:53 +0100] rev 222
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:45 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:45 +0100] rev 221
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:32 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:32 +0100] rev 220
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:23 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:23 +0100] rev 219
Added -i | --ident option to report-runner. The ident string is then part of output file name.
Wed, 22 Jan 2014 12:21:11 +0100 Added -i | --ident option to report-runner.
Jan Vrany <jan.vrany@fit.cvut.cz> [Wed, 22 Jan 2014 12:21:11 +0100] rev 218
Added -i | --ident option to report-runner. The ident string is then part of output file name.
(0) -100 -10 +10 +100 +300 tip