home *** CD-ROM | disk | FTP | other *** search
- #
- # 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 possibly for the times.
- # so the /tmp/blockbar below should be empty if the test succeeded, and non-
- # empty if it failed
- #
-
- rm -f /tmp/foobar
- rm -f /tmp/blockbar
-
- diff $1 $2 > /tmp/foobar
-
- # /tmp/foobar must exist, since starting times will be different
-
- egrep Blocks /tmp/foobar > /tmp/blockbar
-
- # /tmp/blockbar may or may not exist
- if ( -z /tmp/blockbar ) then
- diff $3 $4 > /tmp/foobar.mpg
- if ( -z /tmp/foobar.mpg ) then
- echo "SUCCESS."
- else
- echo "FAILURE! (different output -- probably endian bug). Please send bug report."
- endif
- else
- echo "FAILURE! (different exection). Please send bug report."
- endif
-