changeset 28033 | 0707bbec682d |
parent 27989 | e77ac31b64a1 |
child 28034 | e7ff258f71df |
--- a/contrib/check-code.py Sun Feb 07 22:18:24 2016 -0800 +++ b/contrib/check-code.py Mon Feb 08 18:29:17 2016 +0900 @@ -176,6 +176,8 @@ 'write "file:/*/$TESTTMP" + (glob) to match on windows too'), (r'^ (cat|find): .*: No such file or directory', 'use test -f to test for file existence'), + (r'^ diff -[^ -]*p', + "don't use (external) diff with -p for portability"), ], # warnings [