#!/bin/csh -f
# diff       

if ($#argv == 0) then
	echo "usage: $0 name list"
	exit 1
endif

while ($#argv)
	if (-d $argv[1]) then
		echo "$argv[1] is directory, skipped."
	else
		echo " "
		echo "--- $argv[1] ---"
#		diff $argv[1] /home/koba/develop/src/db/appl/$argv[1]
#		diff $argv[1] /home/koba/develop/src/appl/$argv[1]
		diff $argv[1] /tmp/coal_new/src/appl/$argv[1]
	endif
	shift
end

