| echo T.arnold: test fixes by Arnold Robbins 8/18 | |
| # for which many thanks | |
| rm -rf arnold-fixes | |
| tar xf arnold-fixes.tar | |
| cd arnold-fixes | |
| pwd | |
| awk=../../a.out | |
| ls -l $awk | |
| for i in *.awk | |
| do | |
| name=$(basename $i .awk) | |
| #echo $name: | |
| $awk -f $name.awk >foo.$name | |
| diff $name.ok foo.$name || echo "BAD: T.arnold ($name)" | |
| done |