diff options
author | Bernard Normier <bernard@zeroc.com> | 2018-11-09 11:50:02 -0500 |
---|---|---|
committer | Bernard Normier <bernard@zeroc.com> | 2018-11-09 11:50:02 -0500 |
commit | 6bf3370eeb8cb8bbe0de3b10cd15345816e0a421 (patch) | |
tree | 5ab6a4787858d61c9f557d0244f6c89cf0e115fa /scripts/Util.py | |
parent | Upgrade gradle version checks for Java 11 (diff) | |
download | ice-6bf3370eeb8cb8bbe0de3b10cd15345816e0a421.tar.bz2 ice-6bf3370eeb8cb8bbe0de3b10cd15345816e0a421.tar.xz ice-6bf3370eeb8cb8bbe0de3b10cd15345816e0a421.zip |
Replaced VC1xx by v1xx for consistency
Diffstat (limited to 'scripts/Util.py')
-rw-r--r-- | scripts/Util.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index ec5c5d727bd..bfac1a25e65 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -388,15 +388,15 @@ class Windows(Platform): try: out = run("cl") if out.find("Version 16.") != -1: - self.compiler = "VC100" + self.compiler = "v100" elif out.find("Version 17.") != -1: - self.compiler = "VC110" + self.compiler = "v110" elif out.find("Version 18.") != -1: - self.compiler = "VC120" + self.compiler = "v120" elif out.find("Version 19.00.") != -1: - self.compiler = "VC140" + self.compiler = "v140" elif out.find("Version 19.1") != -1: - self.compiler = "VC141" + self.compiler = "v141" else: raise RuntimeError("Unknown compiler version:\n{0}".format(out)) except: |