diff options
Diffstat (limited to 'Tools/scripts')
| -rwxr-xr-x | Tools/scripts/patchcheck.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/patchcheck.py b/Tools/scripts/patchcheck.py index 503c67a..7b8857e 100755 --- a/Tools/scripts/patchcheck.py +++ b/Tools/scripts/patchcheck.py @@ -173,8 +173,9 @@ def main(): # Test suite run and passed. if python_files or c_files: + end = " and check for refleaks?" if c_files else "?" print() - print("Did you run the test suite?") + print("Did you run the test suite" + end) if __name__ == '__main__': |