diff options
author | Zoltan Arvai <zarvai@inf.u-szeged.hu> | 2014-02-20 17:20:57 +0100 |
---|---|---|
committer | The Qt Project <gerrit-noreply@qt-project.org> | 2014-02-28 13:39:19 +0100 |
commit | ebc0ea419431677da13f5d8086bffe32414ea180 (patch) | |
tree | e63c1ad542529d9a08601b1b5cc2eb6e38f32fb9 | |
parent | 02cf9c842d408d26507b8f40d2e18a8b5c9bbc74 (diff) |
GRIT should use unix file paths as dictionary keys on Windows
GRIT uses filename strings as keys in its dictionary so generated
filenames must be exactly the same strings as they are defined in
.grd files. GRIT expects forward slashes as path separator and
also .grd files are containing forward slashes.
Similar conversion used in the else section of the outer
if statement in the same function.
Change-Id: I81bbf2e15e7aaefb52176405990d49457fce1589
Reviewed-by: Andras Becsi <andras.becsi@digia.com>
-rw-r--r-- | patches/chromium/tools/grit/0001-GRIT-Allow-grd-files-outside-of-chromium-source-dir.patch | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/patches/chromium/tools/grit/0001-GRIT-Allow-grd-files-outside-of-chromium-source-dir.patch b/patches/chromium/tools/grit/0001-GRIT-Allow-grd-files-outside-of-chromium-source-dir.patch index 9da214cc2..3a703b8ac 100644 --- a/patches/chromium/tools/grit/0001-GRIT-Allow-grd-files-outside-of-chromium-source-dir.patch +++ b/patches/chromium/tools/grit/0001-GRIT-Allow-grd-files-outside-of-chromium-source-dir.patch @@ -30,7 +30,7 @@ index 734c57a..33848b2 100755 return value return '' -@@ -427,6 +427,10 @@ class GritNode(base.Node): +@@ -427,6 +427,11 @@ class GritNode(base.Node): abs_filename = os.path.abspath(filename_or_stream) if abs_filename[:len(src_root_dir)] != src_root_dir: filename = os.path.basename(filename_or_stream) @@ -38,6 +38,7 @@ index 734c57a..33848b2 100755 + # found as a key, fall back to using the absolute file name. + if not filename in first_ids: + filename = abs_filename ++ filename = filename.replace('\\', '/') else: filename = abs_filename[len(src_root_dir) + 1:] filename = filename.replace('\\', '/') |