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

set -u

for i1 in *.v1
do
	i2=`echo $i1 | sed -e 's=^\(.*\)\.v1$=/tmp/\1.v2='`
	echo diff -u $i1 $i2
	diff -u $i1 $i2
done
