diff options
| -rwxr-xr-x | x.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x.py b/x.py index 7163df5cfe9..ba959a3047e 100755 --- a/x.py +++ b/x.py @@ -31,7 +31,7 @@ if __name__ == '__main__': # soft deprecation of old python versions skip_check = os.environ.get("RUST_IGNORE_OLD_PYTHON") == "1" - if major < 3 or (major == 3 and minor < 6): + if not skip_check and (major < 3 or (major == 3 and minor < 6)): msg = cleandoc(""" Using python {}.{} but >= 3.6 is recommended. Your python version should continue to work for the near future, but this will |