From 53cf6f511bf9184966d280fbea139470df382190 Mon Sep 17 00:00:00 2001
From: underscorediscovery <sven@underscorediscovery.com>
Date: Mon, 7 Oct 2019 23:48:42 -0700
Subject: [PATCH] benchmark; fix parsing of None in certain cases (like with no
 interpreter when a baseline is made)

---
 util/benchmark.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/util/benchmark.py b/util/benchmark.py
index 5cfa323c..e39c7271 100755
--- a/util/benchmark.py
+++ b/util/benchmark.py
@@ -288,7 +288,10 @@ def read_baseline():
         name, best = line.split(",")
         for benchmark in BENCHMARKS:
           if benchmark[0] == name:
-            benchmark[2] = float(best)
+            if not best.startswith("None"):
+              benchmark[2] = float(best)
+            else:
+              benchmark[2] = 0.0
 
 
 def generate_baseline():