diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-11-25 15:13:29 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-11-25 15:13:29 -0800 |
commit | 37d83ff57f5ddcf584e93695cadba623614b1fdc (patch) | |
tree | 165e4943fd84bfc5d8302073dab3c5a07f3fe4ee | |
parent | 84fc7f7892dd056c3df579bf5bd1cf27a20d5cc7 (diff) |
don't bootstrap relooper to js if we are using fastcomp
-rw-r--r-- | tools/shared.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index cf7830e3..02aa9e22 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1411,6 +1411,10 @@ class Building: @staticmethod def ensure_relooper(relooper): if os.path.exists(relooper): return + if os.environ.get('EMCC_FAST_COMPILER'): + logging.debug('not building relooper to js, using it in c++ backend') + return + Cache.ensure() curr = os.getcwd() try: |