| 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([
|
|
|