| commit | 9e9cb2810e08cd1362bf55bd91928d0d0e05cd08 | [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 | 0b61161eeb90898392ffc00400316a90d7774813 | |
| parent | 4b263663fccdef51005a3daf1cbdac54d51829d5 [diff] [blame] |
Add a note about checking refleaks to patchcheck.
diff --git a/Tools/scripts/patchcheck.py b/Tools/scripts/patchcheck.py index 438e44e..fe2e291 100755 --- a/Tools/scripts/patchcheck.py +++ b/Tools/scripts/patchcheck.py
@@ -174,8 +174,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__':