diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-01-17 17:15:15 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-17 17:38:09 -0800 |
commit | b50632c760a09b4916273f8fdc2682b4e2be14ac (patch) | |
tree | 1549e04c67499c10be5440cd8eafca2308a303ab /tests | |
parent | a0e815f0a7b99018bef7be0d3ed34fdde2be744b (diff) |
fix flakey lua benchmark
Diffstat (limited to 'tests')
-rw-r--r-- | tests/test_benchmark.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test_benchmark.py b/tests/test_benchmark.py index 21a47178..729512f3 100644 --- a/tests/test_benchmark.py +++ b/tests/test_benchmark.py @@ -472,7 +472,7 @@ class benchmark(RunnerCore): def lua(self, benchmark, expected, output_parser=None, args_processor=None): shutil.copyfile(path_from_root('tests', 'lua', benchmark + '.lua'), benchmark + '.lua') def lib_builder(name, native, env_init): - ret = self.get_library('lua', [os.path.join('src', 'lua'), os.path.join('src', 'liblua.a')], make=['make', 'generic'], configure=None, native=native, cache_name_extra=name, env_init=env_init) + ret = self.get_library('lua_native' if native else 'lua', [os.path.join('src', 'lua'), os.path.join('src', 'liblua.a')], make=['make', 'generic'], configure=None, native=native, cache_name_extra=name, env_init=env_init) if native: return ret shutil.copyfile(ret[0], ret[0] + '.bc') ret[0] += '.bc' |