diff options
author | lloyd <[email protected]> | 2010-09-10 13:29:05 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2010-09-10 13:29:05 +0000 |
commit | 9acfc3a50b31044e48d8dee5fc8030ad7f4518d4 (patch) | |
tree | 78a427e7b1b4fc85153029d2c1597e26dd2f998f /configure.py | |
parent | 464c0275c90b2e8f999e3c77d3d5be79ac5bfe70 (diff) |
Not an error removing build if it didn't exist at all
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index a6962ecbc..c9c2ed9ff 100755 --- a/configure.py +++ b/configure.py @@ -1245,7 +1245,8 @@ def setup_build(build_config, options, template_vars): if options.clean_build_tree: shutil.rmtree(build_config.build_dir) except OSError, e: - logging.error('Problem while removing build dir: %s' % (e)) + if e.errno != errno.ENOENT: + logging.error('Problem while removing build dir: %s' % (e)) for dir in build_config.build_dirs(): try: |