1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/sh t="$0.tmp" cp ../input/white.pgm $t chmod -r $t ${EXECUTABLE} $t > /dev/null ret=$? rm $t exit $ret