diff --git a/dev-support/test-patch.sh b/dev-support/test-patch.sh index 30e3226..b9ed44b 100755 --- a/dev-support/test-patch.sh +++ b/dev-support/test-patch.sh @@ -411,6 +411,7 @@ checkAntiPatterns () { echo "" echo "" warnings=`$GREP 'new TreeMap