diff options
Diffstat (limited to 'runner/runner.c')
-rw-r--r-- | runner/runner.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/runner/runner.c b/runner/runner.c index 013af551..e1a6ccba 100644 --- a/runner/runner.c +++ b/runner/runner.c @@ -32,6 +32,14 @@ int main(int argc, char **argv) exitcode = 1; } + if (state.time_left == 0.0) { + /* + * Overall timeout happened. Results generation can + * override this + */ + exitcode = 2; + } + if (!generate_results_path(settings.results_path)) { exitcode = 1; } |