Fixed error in bench script
[testub10.git] / scripts / dumpinstr.sh
2010-05-06 Bernhard Urbanscripts: