From f06e8de42359cff6cb93dad4a89c64078d864790 Mon Sep 17 00:00:00 2001
From: Charles Cabergs <me@cacharle.xyz>
Date: Thu, 8 Oct 2020 12:03:46 +0200
Subject: Added syntax error discard

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

(limited to 'src/main.py')

diff --git a/src/main.py b/src/main.py
index 2b70393..05e9158 100755
--- a/src/main.py
+++ b/src/main.py
@@ -66,7 +66,7 @@ def main():
     config.CHECK_LEAKS = args.check_leaks
     config.RANGE = args.range
     config.SHOW_RANGE = args.show_range
-    if config.RANGE is not None:
+    if config.RANGE is not None or config.CHECK_LEAKS:
         config.SHOW_RANGE = True
 
     Suite.setup(args.suites)
@@ -78,6 +78,9 @@ def main():
     Suite.summarize()
     Suite.save_log()
     print("See", config.LOG_PATH, "for more information")
+    if config.CHECK_LEAKS:
+        print("HELP: Valgrind is really slow the -x and --range options could be useful"
+              " (./run -h for more details)")
 
     if args.pager:
         subprocess.run([config.PAGER, config.LOG_PATH])
-- 
cgit