aboutsummaryrefslogtreecommitdiff
path: root/emcc
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-06-27 11:26:46 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-06-27 11:26:46 -0700
commit681ab3e9157f15c8276695413648b2ba9775894b (patch)
tree7884527d90cdda22cbc910757937bb8f334764cf /emcc
parent91920dc8cbbfe3a055489a3f26b70d4119f6061d (diff)
always use lto in embind, workaround for a pointer issue
Diffstat (limited to 'emcc')
-rwxr-xr-xemcc4
1 files changed, 4 insertions, 0 deletions
diff --git a/emcc b/emcc
index 64bf66b4..2e49a879 100755
--- a/emcc
+++ b/emcc
@@ -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')