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