From 98f8adf3fe1334455b52a459eadcaf23f4fb806d Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Thu, 4 Oct 2018 13:23:40 +0200
Subject: [PATCH] More fixup
---
python/dune/perftool/sumfact/autotune.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/python/dune/perftool/sumfact/autotune.py b/python/dune/perftool/sumfact/autotune.py
index 8060aeb7..d9416e84 100644
--- a/python/dune/perftool/sumfact/autotune.py
+++ b/python/dune/perftool/sumfact/autotune.py
@@ -200,8 +200,7 @@ def autotune_realization(sf):
with cache_restoring():
with filelock.FileLock(lock):
if not os.path.isfile(logname):
- if os.path.isfile(logname):
- generate_standalone_code(sf, filename, logname)
+ generate_standalone_code(sf, filename, logname)
ret = subprocess.call(compiler_invocation(name, filename))
assert ret == 0
--
GitLab