diff options
author | lloyd <[email protected]> | 2009-08-12 12:20:24 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2009-08-12 12:20:24 +0000 |
commit | 95d4eda7d22acadd20603d5102ca58e55f5c75f3 (patch) | |
tree | f40f5d7a3a926c248a02233d00edbbbeab74ebd8 | |
parent | 34eb8de4ed014ab8913bdb34b096d60880b1c14a (diff) |
Warn if an unknown file is given as a source in portable_symlink - catches
bad info.txt files
-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: |