#!/bin/csh -f
#
# script to tell if two stat files are same except times
#
# NOTE:  if this script doesn't work, then basically all you need to know
# is that the stat files should be the same except for the times.
# So the /tmp/blockbar below should be empty if the test succeeded, and non-
# empty if it failed.  Then the .mpg files are compared.
#

diff $1 $2 | fgrep -q Blocks
if ($status) then
	cmp -s $3 $4
	if ($status) then
		echo "FAILURE! (different output -- probably endian bug).  Please send bug report."
	else
		echo "SUCCESS."
	endif
else
	echo "FAILURE! (different exection).  Please send bug report."
endif
