| commit | 5e12bb728fd82476c38d824f53834438f7358089 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 14:07:47 2013 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Jan 11 14:07:47 2013 +0200 |
| tree | 583ff00c1f0924c7e3d88ffa6059efeb8ab9e1d7 | |
| parent | fd25ffa012eb3da336e87e88cb23d71ef6a604e7 [diff] [blame] |
Add a note about checking refleaks to patchcheck.
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 @@ # 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__':