Index: win_toolchain/get_toolchain_if_necessary.py |
diff --git a/win_toolchain/get_toolchain_if_necessary.py b/win_toolchain/get_toolchain_if_necessary.py |
index 0a589ec7d4551c000f081f7e14d55baac7d3788f..7187bf491b71fb7860715737d4dac64bfd2b8439 100755 |
--- a/win_toolchain/get_toolchain_if_necessary.py |
+++ b/win_toolchain/get_toolchain_if_necessary.py |
@@ -57,7 +57,7 @@ def GetFileList(root): |
for base, _, files in os.walk(root): |
paths = [os.path.join(base, f) for f in files] |
file_list.extend(x.lower() for x in paths) |
- return sorted(file_list) |
+ return sorted(file_list, key=lambda s: s.replace('/', '\\')) |
def MakeTimestampsFileName(root): |
@@ -93,7 +93,7 @@ def CalculateHash(root): |
digest = hashlib.sha1() |
for path in file_list: |
- digest.update(path) |
+ digest.update(str(path).replace('/', '\\')) |
with open(path, 'rb') as f: |
digest.update(f.read()) |
return digest.hexdigest() |