diff options
author | Jack Lloyd <[email protected]> | 2015-12-31 15:39:08 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2015-12-31 15:39:08 -0500 |
commit | b42fc5375d5747e98930841a695302f625595dd7 (patch) | |
tree | 0f80e7c332a31a18e2feef9025f63e9560b84f43 /src | |
parent | b269c8d1ce0cb5412712a8df963b2205364e17ae (diff) | |
parent | daadca1b242023c2efbc3536561af42250643912 (diff) |
Merge pull request #353 from neusdan/robust_build_setup_windows
make shutil.rmtree and os.makedirs more robust to AV interference
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions