1echo T.arnold: test fixes by Arnold Robbins 8/18 2# for which many thanks 3 4rm -rf arnold-fixes 5tar xf arnold-fixes.tar 6cd arnold-fixes 7 8pwd 9 10awk=../../a.out 11ls -l $awk 12 13for i in *.awk 14do 15 name=$(basename $i .awk) 16 #echo $name: 17 $awk -f $name.awk >foo.$name 18 diff $name.ok foo.$name || echo "BAD: T.arnold ($name)" 19done 20