possible bashism in ./util/tool/test line 5 (alternative test command ([[ foo ]] should be [ foo ])): if [[ $DIFF = "" ]]; then
This report was generated on Thu, 16 Dec 2010 20:38:14 +0000, based on results by checkbashisms 2.10.65git5