diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/autobuild.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/autobuild.py b/script/autobuild.py index 195b2c904a0..9cc29fff378 100755 --- a/script/autobuild.py +++ b/script/autobuild.py @@ -86,6 +86,9 @@ parser.add_option("", "--attach-logs", help="Attach logs to mails sent on succes default=False, action="store_true") parser.add_option("", "--restrict-tests", help="run as make test with this TESTS= regex", default='') +parser.add_option("--enable-coverage", dest='enable_coverage', + action="store_const", const='--enable-coverage', default='', + help="Add --enable-coverage option while configure") (options, args) = parser.parse_args() |