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 ecced5fe12498204fc4e9ba776cd72c21485ff51..fe1ec85023081325ca1f71df19b9c5c350363e4a 100755 |
--- a/win_toolchain/get_toolchain_if_necessary.py |
+++ b/win_toolchain/get_toolchain_if_necessary.py |
@@ -141,6 +141,8 @@ def main(): |
current_hash = CalculateHash(target_dir) |
if current_hash != desired_hash: |
print 'Windows toolchain out of date or doesn\'t exist, updating...' |
+ # This stays resident and will make the rmdir below fail. |
+ subprocess.call(['taskkill', '/f', '/im', 'mspdbsrv.exe']) |
if os.path.isdir(target_dir): |
subprocess.check_call('rmdir /s/q "%s"' % target_dir, shell=True) |
subprocess.check_call([ |