diff options
| -rwxr-xr-x | missing-maintainer-keys | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/missing-maintainer-keys b/missing-maintainer-keys index 988e4c0..291fe0c 100755 --- a/missing-maintainer-keys +++ b/missing-maintainer-keys @@ -135,6 +135,9 @@ def main(): help="only print the version number and exit") parser.add_argument("-v", "--verbose", action="count", default=0, help="increase output verbosity (use up to 3 times)") + parser.add_argument("-t", "--timeout", type=int, default=10, + help="abort check execution with a UNKNOWN result " + "after so many seconds (use 0 for no timeout)") args = parser.parse_args() if args.version: @@ -150,7 +153,7 @@ def main(): MissingMaintainerKeys(args.path, args.repo), MaintainersContext('count'), MissingMaintainerKeysContext('missing')) - check.main(verbose=args.verbose) + check.main(verbose=args.verbose, timeout=args.timeout) if __name__ == '__main__': main() |