1#!/bin/sh
2while read i; do
3  read j 0<&7 || exit 1
4  test "$i" = "$j" || exit 1
5done 7<$1.dist <$1.local
6