diff options
Diffstat (limited to 'cmdutils.h')
-rw-r--r-- | cmdutils.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cmdutils.h b/cmdutils.h index d2d722b085..9190a81fd9 100644 --- a/cmdutils.h +++ b/cmdutils.h @@ -56,6 +56,11 @@ int opt_default(const char *opt, const char *arg); int opt_loglevel(const char *opt, const char *arg); /** + * Limit the execution time. + */ +int opt_timelimit(const char *opt, const char *arg); + +/** * Parses a string and returns its corresponding value as a double. * Exits from the application if the string cannot be correctly * parsed or the corresponding value is invalid. |