diff --git a/tools/test.py b/tools/test.py index c900b1a83a88e0..f46b13fa30a66a 100755 --- a/tools/test.py +++ b/tools/test.py @@ -1399,7 +1399,7 @@ def BuildOptions(): default=1, type="int") result.add_option('--abort-on-timeout', help='Send SIGABRT instead of SIGTERM to kill processes that time out', - default=False, dest="abort_on_timeout") + default=False, action="store_true", dest="abort_on_timeout") return result