possible bashism in ./bench/runbench.sh line 20 (time): ( time $lang < $input > /dev/null ) 2>&1
This report was generated on Thu, 16 Dec 2010 10:38:35 +0000, based on results by checkbashisms 2.10.65git5