diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-02-14 13:26:20 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-02-14 13:26:20 +0100 |
| commit | b13ba01e967e1a281d58b37cb57986b47ec99dd8 (patch) | |
| tree | 716253f4c03cf8dc6754430a5f63d0a57061d795 /odcsim/docs/run.md | |
| parent | baeb118d68747e58f1c1beb8b2d27e1d640827f4 (diff) | |
bug: Apply requested cpu time correctly
This change fixes an issue where the runtime of an image that requested
cpu time was not properly computed.
Diffstat (limited to 'odcsim/docs/run.md')
0 files changed, 0 insertions, 0 deletions