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