From 294ed02cd6e3c35c6981fa5fe5070b29a7b77484 Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Fri, 22 Feb 2019 16:58:04 +0100
Subject: save if no summary flag is set

---
 bench.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench.py b/bench.py
index 5fe79f7..4eeede3 100755
--- a/bench.py
+++ b/bench.py
@@ -85,7 +85,7 @@ def main():
             old_cwd = os.getcwd()
             os.chdir(resdir)
 
-            if args.save:
+            if args.save or args.nosum:
                 bench.save()
 
             if not args.nosum and not (args.runs < 1 and not args.load):
-- 
cgit v1.2.3