summaryrefslogtreecommitdiff
path: root/runner/runner.c
diff options
context:
space:
mode:
Diffstat (limited to 'runner/runner.c')
-rw-r--r--runner/runner.c8
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;
}