#! /bin/csh -f

/bin/rm -f err_output err_output_by_file
touch err_output
touch err_output_by_file
cd check
foreach x (*)
diff $x ../oo7/$x >>& ../err_output
echo $x >>& ../err_output_by_file
diff $x ../oo7/$x >>& ../err_output_by_file
end
cd ..
set errs = `wc -l err_output`
set errs = $errs[1]
if ( $errs == 0 ) then
	echo " "
	echo "Test completed successfully."
else
	echo " "
	echo "Test unsuccessful: see err_output"
	exit -1
endif
