contrib/check-code.py
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
   [