diff options
author | jnozsc <jnozsc@gmail.com> | 2020-07-24 13:42:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-24 22:42:25 +0200 |
commit | 44cbf288ec4407c6fddf79b6b39041d5bbee940b (patch) | |
tree | bc926c1be8cbc323d0dcfb1ae11bdd8772bb5a8f /scripts/gen_vimdoc.py | |
parent | 38145b919d160ea63c2547533595e761b40cfe45 (diff) | |
download | rneovim-44cbf288ec4407c6fddf79b6b39041d5bbee940b.tar.gz rneovim-44cbf288ec4407c6fddf79b6b39041d5bbee940b.tar.bz2 rneovim-44cbf288ec4407c6fddf79b6b39041d5bbee940b.zip |
script: simplify python version check (#12672)
Diffstat (limited to 'scripts/gen_vimdoc.py')
-rwxr-xr-x | scripts/gen_vimdoc.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/gen_vimdoc.py b/scripts/gen_vimdoc.py index 328a903b46..a61690e99f 100755 --- a/scripts/gen_vimdoc.py +++ b/scripts/gen_vimdoc.py @@ -50,8 +50,10 @@ import msgpack from xml.dom import minidom -if sys.version_info[0] < 3 or sys.version_info[1] < 5: - print("requires Python 3.5+") +MIN_PYTHON_VERSION = (3, 5) + +if sys.version_info < MIN_PYTHON_VERSION: + print("requires Python {}.{}+".format(*MIN_PYTHON_VERSION)) sys.exit(1) DEBUG = ('DEBUG' in os.environ) |