From 10b5cf36b30f3aefdf441a8b62f96218294c5fdc Mon Sep 17 00:00:00 2001 From: Florian Fischer Date: Wed, 6 Mar 2019 13:48:50 +0100 Subject: save facts and rstore them on load --- src/globalvars.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src') diff --git a/src/globalvars.py b/src/globalvars.py index 0dcfd2c..c897786 100644 --- a/src/globalvars.py +++ b/src/globalvars.py @@ -15,3 +15,6 @@ allocators_file = None """Path of the build directory""" builddir = os.path.join(os.getcwd(), "build") + +"""Directory were the benchmark results are stored""" +resdir = None -- cgit v1.2.3