7 xout=`basename $x`.xxx.$$
8 yout=`basename $x`.yyy.$$
16 object=`basename $i .s`.o
17 $x $i -o $xout/$object
18 $y $i -o $yout/$object
20 # if they cmp, we're ok. Otherwise we have to look closer.
22 if (cmp $xout/$object $yout/$object)
26 if (doobjcmp $xout/$object $yout/$object)
28 echo Not the same but objcmp ok.