From 639cfeb56d8c2928d820e6a3fa4cd86a2f2acb53 Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Tue, 5 Mar 2019 19:28:26 +0100 Subject: rework rebuild mechanism to use timestamps instead of pickle strings --- bench.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'bench.py') diff --git a/bench.py b/bench.py index 8e4bbb5..eeff86f 100755 --- a/bench.py +++ b/bench.py @@ -65,11 +65,12 @@ def main(): 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 + allocators_file = args.allocators or allocators_file + src.globalvars.allocators_file = allocators_file - with open(allocators_files, "r") as f: + with open(allocators_file, "r") as f: print_status("Sourcing allocators definition ...") - g= {} + g = {} exec(f.read(), g) src.allocators.allocators = g["allocators"] -- cgit v1.2.3