blob: 917c05dfc3709014e3d2a807d32e070fef4159a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
t="$0.tmp"
for i in "$t."{1,2,3} ; do
cp ../input/white.pgm "$i"
done
chmod -r "$t.3"
${EXECUTABLE} $t.{1,2,3} > /dev/null
ret=$?
rm "$t."{1,2,3}
exit $ret
|