diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-02-17 16:32:20 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-17 16:32:20 -0800 |
| commit | 28a34066f1f17b0ce7070835a695f621bdfe59ea (patch) | |
| tree | 3396db9aad083b616981f2980953afd1b654be85 /test/run-gen-wasm.py | |
| parent | 6463c765207e37e55af1c6a06ff06071af131c07 (diff) | |
| download | wabt-28a34066f1f17b0ce7070835a695f621bdfe59ea.tar.gz wabt-28a34066f1f17b0ce7070835a695f621bdfe59ea.tar.bz2 wabt-28a34066f1f17b0ce7070835a695f621bdfe59ea.zip | |
Remove WabtAllocator (#307)
It complicates the code everywhere. It's faster to use a stack
allocator, but not worth the trouble for maintainability.
Diffstat (limited to 'test/run-gen-wasm.py')
| -rwxr-xr-x | test/run-gen-wasm.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/run-gen-wasm.py b/test/run-gen-wasm.py index 1a040a98..b68ba336 100755 --- a/test/run-gen-wasm.py +++ b/test/run-gen-wasm.py @@ -45,7 +45,6 @@ def main(args): action='store_false') parser.add_argument('-p', '--print-cmd', action='store_true', help='print the commands that are run.') - parser.add_argument('--use-libc-allocator', action='store_true') parser.add_argument('--no-debug-names', action='store_true') parser.add_argument('--generate-names', action='store_true') parser.add_argument('file', help='test file.') @@ -60,7 +59,6 @@ def main(args): wasm2wast.AppendOptionalArgs({ '--no-debug-names': options.no_debug_names, '--generate-names': options.generate_names, - '--use-libc-allocator': options.use_libc_allocator }) gen_wasm.verbose = options.print_cmd |