aboutsummaryrefslogtreecommitdiff
path: root/bench.py
diff options
context:
space:
mode:
Diffstat (limited to 'bench.py')
-rwxr-xr-xbench.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/bench.py b/bench.py
index 42fa992..8e4bbb5 100755
--- a/bench.py
+++ b/bench.py
@@ -62,14 +62,14 @@ def main():
subprocess.run(make_cmd)
- # Prepare compared allocators
allocators_file = os.path.join("build", "allocators", "allocators.py")
if args.allocators or os.path.isfile(allocators_file):
allocators_files = args.allocators or allocators_file
with open(allocators_files, "r") as f:
- g = {"verbosity": verbosity}
+ print_status("Sourcing allocators definition ...")
+ g= {}
exec(f.read(), g)
src.allocators.allocators = g["allocators"]