
# diff all the fixed *.v1 output with fixed *.v2 output

set -u

for i1 in *.v1
do
	i2=`echo $i1 | sed -e 's=^\(.*\)\.v1$=/tmp/\1.v2='`
	fixv1 <$i1 >/tmp/$$.1
	fixv2 <$i2 >/tmp/$$.2
	echo diff -u $i1 $i2
	diff -u /tmp/$$.1 /tmp/$$.2 | sed -e '/^--- /d' -e '/^+++ /d'
	rm /tmp/$$.1 /tmp/$$.2
done
