diff -r 6a411a06cb1f -r cf6b086d64cc contrib/check-code.py --- a/contrib/check-code.py Mon Aug 19 11:25:23 2013 -0700 +++ b/contrib/check-code.py Fri Aug 23 14:31:42 2013 -0700 @@ -61,6 +61,7 @@ (r'pushd|popd', "don't use 'pushd' or 'popd', use 'cd'"), (r'\W\$?\(\([^\)\n]*\)\)', "don't use (()) or $(()), use 'expr'"), (r'grep.*-q', "don't use 'grep -q', redirect to /dev/null"), + (r'(?