From d0c69f6a1a2615a8061180aabc4e8c3c3e8817c3 Mon Sep 17 00:00:00 2001 From: Martin Zak Date: Tue, 10 Dec 2024 11:26:33 -0800 Subject: [PATCH] print or not to print. --- tools/check_examples/src/check_examples/common.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/check_examples/src/check_examples/common.py b/tools/check_examples/src/check_examples/common.py index 264497c..711bad1 100644 --- a/tools/check_examples/src/check_examples/common.py +++ b/tools/check_examples/src/check_examples/common.py @@ -76,6 +76,9 @@ def get_git_root_directory() -> Path: check=True, ) directory = Path(result.stdout.strip()) + print(f"Git root directory: {directory}") + iprint_pass("Found git root directory.", 0) + sys.exit(1) if not directory.exists() or not directory.is_dir(): iprint_fail("Unable to find git root directory.", 0) sys.exit(1)