diff options
-rwxr-xr-x | configure.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 5d7d6dd19..e4e6063e1 100755 --- a/configure.py +++ b/configure.py @@ -891,6 +891,11 @@ def setup_build(build_config, options, template_vars): Copy or link the file, depending on what the platform offers """ def portable_symlink(filename, target_dir): + + if not os.access(filename, os.R_OK): + logging.warning('Missing file %s' % (filename)) + return + if 'symlink' in os.__dict__: def count_dirs(dir, accum = 0): if dir == '' or dir == os.path.curdir: |