From d2238c891b59292673e0bbfb5f074b6a9912d7dc Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Tue, 8 Nov 2022 12:43:10 +0100
Subject: [PATCH] coverage.py: add --skip option

---
 coverage.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/coverage.py b/coverage.py
index 779e80a..ecf9456 100755
--- a/coverage.py
+++ b/coverage.py
@@ -172,6 +172,9 @@ def main():
         metavar="format",
         help=f"only run tests with this format (Default = {default_format})",
     )
+    parser.add_argument(
+        "--skip", metavar="test", action="append", help="skip this test"
+    )
     args = parser.parse_args()
 
     # copy over files from git or as distributed
@@ -310,6 +313,9 @@ def main():
                 print(f"skipped because of {reason}", file=sys.stderr)
                 continue
         print(separator, file=sys.stderr)
+        if args.skip and name in args.skip:
+            print(f"skipping because of --skip={name}", file=sys.stderr)
+            continue
         if args.dist and args.dist != dist:
             print(f"skipping because of --dist={args.dist}", file=sys.stderr)
             continue