diff options
| author | Charles Cabergs <me@cacharle.xyz> | 2020-10-08 12:03:46 +0200 |
|---|---|---|
| committer | Charles Cabergs <me@cacharle.xyz> | 2020-10-08 12:03:46 +0200 |
| commit | f06e8de42359cff6cb93dad4a89c64078d864790 (patch) | |
| tree | 7194a39240ca7afb00d29889ce6fda0992a04174 /src/main.py | |
| parent | c48f9194ac7cd2a15d0f86d8d03b0a8d6001d387 (diff) | |
| download | minishell_test-f06e8de42359cff6cb93dad4a89c64078d864790.tar.gz minishell_test-f06e8de42359cff6cb93dad4a89c64078d864790.tar.bz2 minishell_test-f06e8de42359cff6cb93dad4a89c64078d864790.zip | |
Added syntax error discard
Diffstat (limited to 'src/main.py')
| -rwxr-xr-x | src/main.py | 5 |
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]) |