diff options
author | Maximilian Hils <git@maximilianhils.com> | 2018-01-04 14:57:17 +0100 |
---|---|---|
committer | Maximilian Hils <git@maximilianhils.com> | 2018-01-04 15:42:09 +0100 |
commit | d38b5e85522af4c0f7184fdef40d5d1b603385da (patch) | |
tree | f7ea8f78a7ed56682aae6f487ceabbc8e70aec8c /mitmproxy/version.py | |
parent | 09f6160645d3854f960826d5c17992dedb6fa48a (diff) | |
download | mitmproxy-d38b5e85522af4c0f7184fdef40d5d1b603385da.tar.gz mitmproxy-d38b5e85522af4c0f7184fdef40d5d1b603385da.tar.bz2 mitmproxy-d38b5e85522af4c0f7184fdef40d5d1b603385da.zip |
do not add leading zeroes to .dev version part.
wheel normalizes to no leading zeroes, and we don't want to special-case
that.
Diffstat (limited to 'mitmproxy/version.py')
-rw-r--r-- | mitmproxy/version.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mitmproxy/version.py b/mitmproxy/version.py index 3073c3d3..44ec32d4 100644 --- a/mitmproxy/version.py +++ b/mitmproxy/version.py @@ -48,7 +48,7 @@ def get_version(dev: bool = False, build: bool = False, refresh: bool = False) - # Add suffix for non-tagged releases if tag_dist > 0: - mitmproxy_version += ".dev{tag_dist:04}".format(tag_dist=tag_dist) + mitmproxy_version += ".dev{tag_dist}".format(tag_dist=tag_dist) # The wheel build tag (we use the commit) must start with a digit, so we include "0x" mitmproxy_version += "-0x{commit}".format(commit=commit) |