blob: 7bb67ab9dae8e9aea8a6a2588c2df87e1aa70293 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
|
