1 1.1 christos for i in $* 2 1.1 christos do 3 1.1 christos echo $i >/dev/tty 4 1.1 christos echo $i '<<<' 5 1.1 christos cd .. 6 1.1 christos echo testdir/$i: 7 1.1 christos ind <testdir/$i 8 1.1 christos a.out -f testdir/$i >drek.c 9 1.1 christos cat drek.c 10 1.1 christos make drek || ( echo $i ' ' bad compile; echo $i ' ' bad compile >/dev/tty; continue ) 11 1.1 christos cd testdir 12 1.1 christos time awk -f $i test.data >foo1 13 1.1 christos time ../drek test.data >foo2 14 1.1 christos cmp foo1 foo2 || ( echo $i ' ' bad; echo $i ' ' bad >/dev/tty; diff foo1 foo2 ) 15 1.1 christos echo '>>>' $i 16 1.1 christos echo 17 1.1 christos done 18