diff options
| author | Joe Guo <joeg@catalyst.net.nz> | 2019-05-04 02:32:40 +1200 |
|---|---|---|
| committer | Andrew Bartlett <abartlet@samba.org> | 2019-05-10 08:19:17 +0000 |
| commit | 87ea55e43662d95a430856e2584c172c689dcaf5 (patch) | |
| tree | f1f853aa2cfef5c64bcf8e2f79fd76644f649781 /script | |
| parent | 332f19c7f2c56e6835420647599884fed5e61d98 (diff) | |
| download | samba-87ea55e43662d95a430856e2584c172c689dcaf5.tar.gz | |
script/autobuild.py: add --enable-coverage option
Signed-off-by: Joe Guo <joeg@catalyst.net.nz>
Reviewed-by: Andrew Bartlett <abartlet@samba.org>
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() |