diff options
author | lloyd <[email protected]> | 2011-05-31 12:03:39 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2011-05-31 12:03:39 +0000 |
commit | 7cc2a0e77b725cadcff148a26d1a10ebf22d3596 (patch) | |
tree | 092ac67787f438525848ad50b5128709b1f3345b | |
parent | 549d1530ee0a559a91d4f701dc7e5d630c4c9ff3 (diff) |
Use visibility control unless explicitly turned off
-rwxr-xr-x | configure.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 8294b25fa..d32b32d79 100755 --- a/configure.py +++ b/configure.py @@ -1735,6 +1735,9 @@ def main(argv = None): logging.info('Setting -fpermissive to work around gcc bug') options.extra_flags = ' -fpermissive' + if options.with_visibility is None: + options.with_visibility = True + if options.with_tr1 == None: if cc.has_tr1: logging.info('Assuming %s has TR1 (use --with-tr1=none to disable)' % ( |