1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#
# 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.
#
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
|
