diff options
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: |