fix for update feature [ci skip]

This commit is contained in:
Hans Dembinski
2019-06-08 23:49:07 +02:00
parent 87d2f31d4a
commit 8a6c97a2df
2 changed files with 1 additions and 2 deletions

View File

@@ -79,7 +79,7 @@ def on_key_press(event):
global thread
if thread and thread.is_alive(): return
if event.key != "r": return
if event.key != "u": return
hash = commits[current_index]

View File

@@ -52,7 +52,6 @@ def run(results, comments, hash, update):
if not update and hash in results:
return
print(hash, comments[hash])
results[hash] = None
subp.call(("rm", "-rf", "../include"))
if subp.call(("git", "checkout", hash, "--", "../include")) != 0:
print("[Benchmark] Cannot checkout include folder\n")