From e66c4108789b5a8804967164e6b5f6cfc879c154 Mon Sep 17 00:00:00 2001
From: Marco Poletti <poletti.marco@gmail.com>
Date: Tue, 11 Sep 2018 00:29:03 +0100
Subject: [PATCH] Rename the metric for incremental compile time, so that it's
 separate from the one for full compile time.

---
 extras/benchmark/run_benchmarks.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extras/benchmark/run_benchmarks.py b/extras/benchmark/run_benchmarks.py
index bcd45b76..21825a39 100755
--- a/extras/benchmark/run_benchmarks.py
+++ b/extras/benchmark/run_benchmarks.py
@@ -286,7 +286,7 @@ def run_incremental_compile_benchmark(self):
         start = timer()
         self.run_make_build()
         end = timer()
-        result = {'compile_time': end - start}
+        result = {'incremental_compile_time': end - start}
         return result
 
     def run_runtime_benchmark(self):