From 8065ee425cf9d9cd4569d6e5f6c1ab4ea6773288 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Tue, 12 Feb 2019 15:11:18 +0100
Subject: [PATCH] Fixups on the autotuning naming scheme

---
 python/dune/codegen/sumfact/autotune.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/python/dune/codegen/sumfact/autotune.py b/python/dune/codegen/sumfact/autotune.py
index c2ffd350..c2a0272f 100644
--- a/python/dune/codegen/sumfact/autotune.py
+++ b/python/dune/codegen/sumfact/autotune.py
@@ -193,11 +193,11 @@ def autotune_realization(sf):
         os.mkdir(dir)
 
     basename = "autotune_sumfact_{}".format(sf.function_name)
-    name = os.path.join(dir, "autotune_sumfact_{}".format(sf.function_name))
-    name = hashlib.sha256(name.encode()).hexdigest()
+    basename = hashlib.sha256(basename.encode()).hexdigest()
+    basename = os.path.join(dir, basename)
     filename = os.path.join(dir, "{}.cc".format(basename))
     logname = os.path.join(dir, "{}.log".format(basename))
-    lock = "{}.lock".format(name)
+    lock = "{}.lock".format(basename)
 
     # Generate and compile a benchmark program
     with cache_restoring():
-- 
GitLab