diff options
author | Benoit Foucher <benoit@zeroc.com> | 2016-11-28 08:57:19 +0100 |
---|---|---|
committer | Benoit Foucher <benoit@zeroc.com> | 2016-11-28 08:57:19 +0100 |
commit | 612cf0e7d3721b3f488e7de652e21d4ce24611a7 (patch) | |
tree | 3a37114638fb6b706ec2b3a7fe39b1f9d0f4cc35 /scripts/Util.py | |
parent | Added check for JAVA_HOME (diff) | |
download | ice-612cf0e7d3721b3f488e7de652e21d4ce24611a7.tar.bz2 ice-612cf0e7d3721b3f488e7de652e21d4ce24611a7.tar.xz ice-612cf0e7d3721b3f488e7de652e21d4ce24611a7.zip |
Fixed test failure with java-compat tests
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 490fd70cf3f..8316732cab7 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -481,7 +481,7 @@ class Mapping: def getByPath(self, path): path = os.path.abspath(path) for m in self.mappings.values(): - if path.startswith(m.getPath()): + if path.startswith(m.getPath() + os.sep): return m @classmethod |