• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#! /bin/bash
2
3if [ ! -f ../a.out ]
4then
5	echo Making executable
6	(cd .. ; make) || exit 0
7fi
8
9for i in *.awk
10do
11	echo === $i
12	OUT=${i%.awk}.OUT
13	OK=${i%.awk}.ok
14	IN=${i%.awk}.in
15	input=
16	if [ -f $IN ]
17	then
18		input=$IN
19	fi
20
21	../a.out -f $i $input > $OUT 2>&1
22	if cmp -s $OK $OUT
23	then
24		rm -f $OUT
25	else
26		echo ++++ $i failed!
27	fi
28done
29