From 37c3d391c812aff94754c6c80bec3e61982e00a1 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Wed, 30 Oct 2019 10:46:38 +0100
Subject: introduce a global summary file extension

---
 src/globalvars.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/globalvars.py')

diff --git a/src/globalvars.py b/src/globalvars.py
index 98434c3..c1ec6b0 100644
--- a/src/globalvars.py
+++ b/src/globalvars.py
@@ -63,3 +63,5 @@ resdir = None
 
 benchmarks = [e[:-3] for e in os.listdir(os.path.join(allocbenchdir, benchsrcdir))
               if e[-3:] == ".py" and e != "__init__.py"]
+
+summary_file_ext = "svg"
-- 
cgit v1.2.3