runcheck.sh revision c5e26787b63c42ea590c3ad5fcc55b0d04fe923f
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden#first parameter is executable
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden#second parameter resets ouput files
1d03ac3e808c2c653316d01713105e209914fc81Neil Madden if [ -s $i.out ]; then echo "error when translating $i"; fi