1#!/bin/sh
2
3oldawk=${oldawk-awk}
4awk=${awk-../a.out}
5
6echo compiling time.c
7cc time.c -o time
8time=./time
9
10echo time command = $time
11
12#case `uname` in
13#SunOS)
14#	time=/usr/bin/time ;;
15#Linux)
16#	time=/usr/bin/time ;;
17#*)
18#	time=time ;;
19#esac
20
21echo oldawk = $oldawk, awk = $awk, time command = $time
22
23
24# an arbitrary collection of input data
25
26cat td.1 td.1 >foo.td
27sed 's/^........................//' td.1 >>foo.td
28pr -m td.1 td.1 td.1 >>foo.td
29pr -2 td.1 >>foo.td
30cat bib >>foo.td
31wc foo.td
32
33td=foo.td
34>footot
35
36for i in $*
37do
38	echo $i "($oldawk vs $awk)":
39	# ind <$i
40	$time $oldawk -f $i $td >foo2 2>foo2t
41	cat foo2t
42	$time $awk -f $i $td >foo1 2>foo1t
43	cat foo1t
44	cmp foo1 foo2
45	echo $i: >>footot
46	cat foo1t foo2t >>footot
47done
48
49ctimes footot
50