diff --git a/Tools/scripts/patchcheck.py b/Tools/scripts/patchcheck.py index 503c67a027e740fcb5cd74a9db25a6496e5c0660..7b8857e80e1718ae295497aa868ea6b416f342eb 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__':