diff options
| -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 0e18dd9..6a39145 100755 --- a/Tools/scripts/patchcheck.py +++ b/Tools/scripts/patchcheck.py @@ -170,8 +170,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__': |