diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2021-01-09 09:12:38 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2021-01-10 09:46:18 -0500 |
commit | fddad86fa5412da63a048012e33e52fb3855523f (patch) | |
tree | f135f5466942948af41a574d527ea6c5ccef7e89 /igor.py | |
parent | 812d978f95560d1b8e86032681c531e6332ad76d (diff) | |
download | python-coveragepy-git-fddad86fa5412da63a048012e33e52fb3855523f.tar.gz |
Indicate the git revision if running a local build
Diffstat (limited to 'igor.py')
-rw-r--r-- | igor.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -328,6 +328,10 @@ def print_banner(label): if '__pypy__' in sys.builtin_module_names: version += " (pypy %s)" % ".".join(str(v) for v in sys.pypy_version_info) + rev = platform.python_revision() + if rev: + version += " (rev {})".format(rev) + try: which_python = os.path.relpath(sys.executable) except ValueError: |