#!/bin/csh -f
# diff       

if ($#argv == 0) then
	echo "usage: $0 dir name list"
	exit 1
endif
#set cmp_dir = /tmp/coal_dev1/src/appl/$argv[1]/new
set cmp_dir = /tmp/coal_new/src/appl/$argv[1]

shift

while ($#argv)
	if (-d $argv[1]) then
		echo "$argv[1] is directory, skipped."
	else
		echo " "
		echo "--- $argv[1] ---"
		diff $argv[1] $cmp_dir/$argv[1]
	endif
	shift
end

