diff options
| -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: |