1 #! /bin/sh -e 2 3 . config.sh 4 TMP1=/tmp/check.1.$$ 5 TMP2=/tmp/check.2.$$ 6 TMP3=/tmp/check.3.$$ 7 8 check () { 9 DIR=$1 10 shift 11 ( cd $DIR ; ls *.hva > $TMP1 ) 12 echo > $TMP2 13 for i in $* 14 do 15 echo $i >> $TMP2 16 done 17 sort $TMP1 > $TMP3 && mv $TMP3 $TMP1 18 sort $TMP2 > $TMP3 && mv $TMP3 $TMP2 19 diff $TMP1 $TMP2 20 /bin/rm -f $TMP1 $TMP2 $TMP3 21 } 22 23 check . $ALLLIB 24 check html $HTMLLIB 25 check text $TEXTLIB 26 check info $INFOLIB 27