#!/bin/sh # # ecoff-cmp file1.o file2.o # cp $1 /tmp/foo1.$$ cp $2 /tmp/foo2.$$ strip /tmp/foo1.$$ strip /tmp/foo2.$$ tail +10c /tmp/foo1.$$ > /tmp/foo3.$$ tail +10c /tmp/foo2.$$ > /tmp/foo4.$$ cmp /tmp/foo3.$$ /tmp/foo4.$$ rm -f /tmp/foo[1234].$$