runcheck.sh revision e7eca8a3a157f8dea74515ba1f339d02ae4d9e81
#first parameter is executable
#second parameter resets ouput files
PA=$1
SET=$2
runtranslate ()
{
}
do
runtranslate $i
if [ -s $i.out ]; then echo "error when translating $i"; fi
done