5 while [ ! -f $dir/wiggle
]
8 / ) echo >&2 Cannot
find wiggle program
: $WIGGLE
13 export WIGGLE
=$dir/wiggle
23 find .
-name core |
xargs rm -f
24 list
=$
(find .
-type f \
( -name script -o -name diff -o -name ldiff \
25 -o -name rediff
-o -name merge
-o -name wmerge
-o -name lmerge
-o -name replace \
)
37 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dw orig new |
diff -u diff - ; xit
=$?
38 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dwp1 orig
patch |
diff -u diff - ; xit
=$?
42 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dl orig new |
diff -u ldiff
- ; xit
=$?
43 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dlp1 orig
patch |
diff -u ldiff
- ; xit
=$?
46 reldiff
) /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dl patch |
diff -u reldiff
- ; xit
=$?
48 rediff
) /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -dw patch |
diff -u rediff
- ; xit
=$?
50 merge
) if [ -f patch ]
51 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -m orig
patch |
diff -u merge
- ; xit
=$?
53 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -m orig new new2 |
diff -u merge
- ; xit
=$?
54 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -m orig |
diff -u merge
- ; xit
=$?
57 replace
) cp orig orig.tmp
59 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -mr orig.tmp
patch
60 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -mr orig.tmp new new2
62 diff -u merge orig.tmp
; xit
=$?
63 rm orig.tmp orig.tmp.porig
65 lmerge
) if [ -f patch ]
66 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -ml orig
patch |
diff -u lmerge
- ; xit
=$?
67 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -ml orig new new2 |
diff -u lmerge
- ; xit
=$?
70 wmerge
) if [ -f patch ]
71 then /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -mw orig
patch |
diff -u wmerge
- ; xit
=$?
72 else /usr
/bin
/time --quiet -o .
time -f '%U' $WIGGLE -mw orig new new2 |
diff -u wmerge
- ; xit
=$?
76 if [ $xit = 0 ]; then msg
=SUCCEEDED
; else msg
=FAILED
; fi
77 echo $path $msg `cat .time 2> /dev/null`
83 else status
=1 ; let fail
++
87 echo $ok succeeded and
$fail failed