Xqt submitted this change.

View Change

Approvals: jenkins-bot: Verified Xqt: Looks good to me, approved
[coverage] ignore some make_dist code for coverage

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

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 change 850147. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I3c10b376cdc8c3a44e04956ff98b4f179e15907e
Gerrit-Change-Number: 850147
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <info@gno.de>
Gerrit-Reviewer: Xqt <info@gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged