diff options
Diffstat (limited to 'src/globalvars.py')
| -rw-r--r-- | src/globalvars.py | 2 |
1 files changed, 2 insertions, 0 deletions
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" |