aboutsummaryrefslogtreecommitdiff
path: root/src/main.py
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.py')
-rwxr-xr-xsrc/main.py5
1 files changed, 4 insertions, 1 deletions
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])