Xqt has submitted this change. ( 
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/850147 )

Change subject: [coverage] ignore some make_dist code for coverage
......................................................................

[coverage] ignore some make_dist code for coverage

Change-Id: I3c10b376cdc8c3a44e04956ff98b4f179e15907e
---
M make_dist.py
1 file changed, 3 insertions(+), 3 deletions(-)

Approvals:
  jenkins-bot: Verified
  Xqt: Looks good to me, approved



diff --git a/make_dist.py b/make_dist.py
index 053ddae..84685e5 100644
--- a/make_dist.py
+++ b/make_dist.py
@@ -68,7 +68,7 @@
         self.nodist = nodist
         self.folder = Path().resolve()

-    def clear_old_dist(self) -> None:
+    def clear_old_dist(self) -> None:  # pragma: no cover
         """Delete old dist folders.

         .. versionadded:: 7.5
@@ -87,7 +87,7 @@
     def cleanup(self) -> None:
         """Cleanup copied files."""

-    def run(self) -> None:
+    def run(self) -> None:  # pragma: no cover
         """Run the installer script."""
         if self.upgrade:
             check_call('python -m pip install --upgrade pip', shell=True)
@@ -190,7 +190,7 @@
     return local, remote, clear, upgrade, nodist


-def main() -> None:
+def main() -> None:  # pragma: no cover
     """Script entry point."""
     args = handle_args()
     SetupPywikibot(*args).run()

--
To view, visit https://gerrit.wikimedia.org/r/c/pywikibot/core/+/850147
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.wikimedia.org/r/settings

Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I3c10b376cdc8c3a44e04956ff98b4f179e15907e
Gerrit-Change-Number: 850147
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <[email protected]>
Gerrit-Reviewer: Xqt <[email protected]>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged
_______________________________________________
Pywikibot-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to