diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 16:11:11 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 16:11:21 -0700 |
commit | 9f5ddb1568a37054808ec6e8fe95b051cef927ca (patch) | |
tree | c23182e7dc1cd24e1d4c68ff7ed3acfcb53312a5 | |
parent | 9642a5128f37371565b53450c8428103b59500f8 (diff) |
fix bullet benchmark
-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')] |