diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-06-27 11:26:46 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-06-27 11:26:46 -0700 |
commit | 681ab3e9157f15c8276695413648b2ba9775894b (patch) | |
tree | 7884527d90cdda22cbc910757937bb8f334764cf /emcc | |
parent | 91920dc8cbbfe3a055489a3f26b70d4119f6061d (diff) |
always use lto in embind, workaround for a pointer issue
Diffstat (limited to 'emcc')
-rwxr-xr-x | emcc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -886,6 +886,10 @@ try: if opt_level == 0: debug_level = 4 if closure is None and opt_level == 3: closure = True + if llvm_lto is None and bind: + logging.debug('running lto for embind') # XXX this is a workaround for a pointer issue + llvm_lto = 1 + # TODO: support source maps with js_transform if js_transform and debug_level >= 4: logging.warning('disabling source maps because a js transform is being done') |