diff options
Diffstat (limited to 'tools/dircondenser.py')
| -rwxr-xr-x | tools/dircondenser.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dircondenser.py b/tools/dircondenser.py index b8679a4..a07ede1 100755 --- a/tools/dircondenser.py +++ b/tools/dircondenser.py @@ -71,6 +71,7 @@ def condense(dirname: str) -> None: replace_source('run_unittests.py', replacements) replace_source('run_project_tests.py', replacements) replace_source('run_format_tests.py', replacements) + replace_source('run_shell_checks.py', replacements) for f in glob('unittests/*.py'): replace_source(f, replacements) |