diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-09-11 13:09:03 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-09-11 13:12:10 -0700 |
commit | bb0f0a9a603c877913ccc8855b7856b4bd799ea4 (patch) | |
tree | 7c6d7e8a9dd90b829b5f068d2dcbc96b12fe5e4a | |
parent | 400d2454273ffd340e06477866df57403299f653 (diff) |
build both configure and cmake versions of bullet, so the cache does not mix them up; #1610
-rw-r--r-- | tests/test_core.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test_core.py b/tests/test_core.py index 6bccbbf4..6dba0f23 100644 --- a/tests/test_core.py +++ b/tests/test_core.py @@ -8664,7 +8664,7 @@ def process(filename): [open(path_from_root('tests', 'bullet', 'output.txt'), 'r').read(), # different roundings open(path_from_root('tests', 'bullet', 'output2.txt'), 'r').read(), open(path_from_root('tests', 'bullet', 'output3.txt'), 'r').read()], - libraries=self.get_library('bullet', generated_libs, configure=configure, configure_args=configure_args[c]), + libraries=self.get_library('bullet', generated_libs, configure=configure, configure_args=configure_args[c], cache_name_extra=configure[0]), includes=[path_from_root('tests', 'bullet', 'src')]) test() |