diff options
author | lloyd <[email protected]> | 2014-11-03 22:16:51 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2014-11-03 22:16:51 +0000 |
commit | bcd83686c3daed38974d1f9b533c07d35c5a7476 (patch) | |
tree | 3203d6f30423ebf3b7b5b3d4aa2b9ecc9ce5ba5e /configure.py | |
parent | d623823e7e0d2754343ab498f48976e91180d24f (diff) |
Various small fixes and cleanups, new is_prime util
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.py b/configure.py index ab363a5ba..9d5b4304b 100755 --- a/configure.py +++ b/configure.py @@ -1641,8 +1641,7 @@ def setup_build(build_config, options, template_vars): portable_symlink(header_file, dir, link_method) except OSError as e: if e.errno != errno.EEXIST: - logging.error('Error linking %s into %s: %s' % ( - header_file, dir, e)) + raise Exception('Error linking %s into %s: %s' % (header_file, dir, e)) link_headers(build_config.public_headers, 'public', build_config.botan_include_dir) |