diff options
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') |