diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-06-23 06:58:12 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-07-20 07:42:41 -0400 |
| commit | 9a8d7e447bbd1525f9f9f4660977072219bbc726 (patch) | |
| tree | ca4df9b22144b2d7e53c8a1c637dff6f8bb6629c /scripts/test_script | |
| parent | 98510c506a16b2a444eb6615ec8d78bc7c64e0aa (diff) | |
rtspin: Add sporadic task mode
While at it, also fix exec-times-from-CSV support.
Diffstat (limited to 'scripts/test_script')
0 files changed, 0 insertions, 0 deletions