--- gcc/ecoff-cmp	2018/04/24 16:53:43	1.1
+++ gcc/ecoff-cmp	2018/04/24 17:01:02	1.1.1.3
@@ -2,11 +2,9 @@
 #
 #	ecoff-cmp file1.o file2.o
 #
-cp $1 /tmp/foo1.$$
-cp $2 /tmp/foo2.$$
-strip /tmp/foo1.$$
-strip /tmp/foo2.$$
-tail +10 /tmp/foo1.$$ > /tmp/foo3.$$
-tail +10 /tmp/foo2.$$ > /tmp/foo4.$$
+ld -s -L -o /tmp/foo1.$$ $1 2>1 > /dev/null
+ld -s -L -o /tmp/foo2.$$ $2 2>1 > /dev/null
+tail +10c /tmp/foo1.$$ > /tmp/foo3.$$
+tail +10c /tmp/foo2.$$ > /tmp/foo4.$$
 cmp /tmp/foo3.$$ /tmp/foo4.$$
 rm -f /tmp/foo[1234].$$