diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-18 18:10:57 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-18 18:10:57 -0800 |
| commit | f6be80cbd7bd9e339da7ad5829e98c2f16ee2b1b (patch) | |
| tree | 1cc8181051d00daa05736213f50fd4c441cbdc49 /tools | |
| parent | dfca41cfde20eb47a38ae83b1d7dd80da669232f (diff) | |
LINKABLE options, disabling dead code elimination for shared libraries and main files that have things that shared libraries will access through an extern
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index 718edc75..41221c67 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -560,7 +560,7 @@ class Building: opts.append('-tbaa') opts.append('-basicaa') # makes fannkuch slow but primes fast - if not Settings.BUILD_AS_SHARED_LIB: + if not Settings.BUILD_AS_SHARED_LIB and not Settings.LINKABLE: opts.append('-internalize') opts.append('-globalopt') @@ -620,7 +620,7 @@ class Building: opts.append('-strip-dead-prototypes') - if not Settings.BUILD_AS_SHARED_LIB: + if not Settings.BUILD_AS_SHARED_LIB and not Settings.LINKABLE: opts.append('-globaldce') if optimization_level > 1: opts.append('-constmerge') |