aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorDaniel Neus <[email protected]>2015-12-18 19:53:20 +0100
committerDaniel Neus <[email protected]>2015-12-18 19:53:20 +0100
commit001defdee387087ab35946f148549f4eeb9cddfb (patch)
tree2d8144749ffcf44109b72b59c0125b3dc7c4999f /configure.py
parent86630976bbb1442750177f4c3c392eab5c65db98 (diff)
decrease timeout between attempts to 100ms
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py8
1 files changed, 4 insertions, 4 deletions
diff --git a/configure.py b/configure.py
index 6c50bb596..f231a54a9 100755
--- a/configure.py
+++ b/configure.py
@@ -1948,11 +1948,11 @@ def main(argv = None):
shutil.rmtree(path)
return
except OSError, e:
- time.sleep(i)
+ time.sleep(0.1)
# Final attempt, pass any Exceptions up to caller.
shutil.rmtree(path)
-
+
def robust_makedirs(dir, max_retries=5):
for i in range(max_retries):
try:
@@ -1960,9 +1960,9 @@ def main(argv = None):
return
except OSError, e:
if e.errno == errno.EEXIST:
- return
+ return
else:
- time.sleep(i)
+ time.sleep(0.1)
# Final attempt, pass any Exceptions up to caller.
os.makedirs(dir)