diff options
author | Jose <jose@zeroc.com> | 2017-06-16 21:13:48 +0200 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2017-06-16 21:13:48 +0200 |
commit | 28fa8ff036026caba900a02d3d537e09713bc546 (patch) | |
tree | 3810c6140ccf44717fc51b38a6c61b971c8a5d52 /scripts/Util.py | |
parent | Fix for very slow VMs (ICE-8080) (diff) | |
download | ice-28fa8ff036026caba900a02d3d537e09713bc546.tar.bz2 ice-28fa8ff036026caba900a02d3d537e09713bc546.tar.xz ice-28fa8ff036026caba900a02d3d537e09713bc546.zip |
Fix allTest.py Windows failure
Diffstat (limited to 'scripts/Util.py')
-rw-r--r-- | scripts/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 902079e76a0..aa55407fe2c 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -227,7 +227,7 @@ class Windows(Platform): def __init__(self): Platform.__init__(self) - self.compiler = "" + self.compiler = None self.nugetPackageVersion = None def getFilters(self, config): |