#!/bin/csh -f
# diff_dir

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

set tmp_dir = $1
shift 

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

