diff options
-rwxr-xr-x | tests/runner.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index c1a74e9e..1a030eae 100755 --- a/tests/runner.py +++ b/tests/runner.py @@ -12073,7 +12073,8 @@ ok. native=True) emcc_args = js_lib + ['-I' + path_from_root('tests', 'bullet', 'src'), - '-I' + path_from_root('tests', 'bullet', 'Demos', 'Benchmarks')] + '-I' + path_from_root('tests', 'bullet', 'Demos', 'Benchmarks'), + '-s', 'DEAD_FUNCTIONS=["__ZSt9terminatev"]'] native_args = native_lib + ['-I' + path_from_root('tests', 'bullet', 'src'), '-I' + path_from_root('tests', 'bullet', 'Demos', 'Benchmarks')] |