From 8c8e057f70f861bfe9e38750971ec540f0214056 Mon Sep 17 00:00:00 2001 From: Eric Froemling Date: Fri, 3 Apr 2020 15:11:39 -0700 Subject: [PATCH] more launch fixes --- tools/efrotools/code.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/tools/efrotools/code.py b/tools/efrotools/code.py index 1bb1d4ca..edaea818 100644 --- a/tools/efrotools/code.py +++ b/tools/efrotools/code.py @@ -277,8 +277,12 @@ def pylint(projroot: Path, full: bool, fast: bool) -> None: # Note: even if we fail here, we still want to # update our disk cache (since some lints may have passed). print('Pylint failed.', flush=True) - import traceback - traceback.print_exc() + + # Hmm; this can be handy sometimes; perhaps should add an env + # var to control it? + if bool(False): + import traceback + traceback.print_exc() cache.write() sys.exit(255) print(f'Pylint: all {len(filenames)} files are passing.', flush=True)