for i in `cat $1.tlist` do rm -f local/$i.out echo Running $i PATH/icont -s $i.icn -x >local/$i.out 2>&1 echo Checking $i diff distr/$i.out local/$i.out rm -f $i done