diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-09-21 12:58:25 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-23 14:33:24 -0700 |
| commit | 44276350fdbafc6e6c59c6f9a1b52d7e94d9f130 (patch) | |
| tree | 5452bb3027b85fce2aa44e7708d8b6b0a066f717 | |
| parent | cef3678a9053fe7d2dfd4fcdebc50391de0bf51c (diff) | |
clean up reloopers1.6.0
| -rw-r--r-- | src/jsifier.js | 1 | ||||
| -rw-r--r-- | src/relooper/emscripten/glue.js | 3 | ||||
| -rw-r--r-- | tools/shared.py | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/src/jsifier.js b/src/jsifier.js index 8c6b0c8e..53b9bb08 100644 --- a/src/jsifier.js +++ b/src/jsifier.js @@ -811,6 +811,7 @@ function JSify(data, functionsOnly, givenFunctions) { } } ret += Relooper.render(blockMap[block.entries[0]]); + Relooper.cleanup(); } return ret; } diff --git a/src/relooper/emscripten/glue.js b/src/relooper/emscripten/glue.js index 92c50500..f5b9e142 100644 --- a/src/relooper/emscripten/glue.js +++ b/src/relooper/emscripten/glue.js @@ -13,6 +13,9 @@ RelooperGlue['init'] = function() { this.r = _rl_new_relooper(); }, + RelooperGlue['cleanup'] = function() { + _rl_delete_relooper(this.r); + }, RelooperGlue['addBlock'] = function(text, branchVar) { assert(this.r); assert(text.length+1 < TBUFFER_SIZE, 'buffer too small, increase RELOOPER_BUFFER_SIZE'); diff --git a/tools/shared.py b/tools/shared.py index a07bdeaf..d605dee9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -304,7 +304,7 @@ def find_temp_directory(): # we re-check sanity when the settings are changed) # We also re-check sanity and clear the cache when the version changes -EMSCRIPTEN_VERSION = '1.5.9' +EMSCRIPTEN_VERSION = '1.6.0' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT |