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 07e82729eee15089c6fbe9d90f4d8e99d580a6c9..0b6e62d726b88f1628cc6e43973adc322423470c 100755 |
--- a/win_toolchain/get_toolchain_if_necessary.py |
+++ b/win_toolchain/get_toolchain_if_necessary.py |
@@ -74,7 +74,9 @@ def GetFileList(root): |
file_list = [] |
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) |
+ # Ignore WER ReportQueue entries that vctip/cl leave in the bin dir if/when |
+ # they crash. |
+ file_list.extend(x.lower() for x in paths if 'WER\\ReportQueue' not in x) |
return sorted(file_list, key=lambda s: s.replace('/', '\\')) |