1 2 3 4 5 6 7 8
--- make.sh.orig Tue May 27 13:47:51 2003 +++ make.sh Tue May 27 13:47:55 2003 @@ -121,5 +121,4 @@ sh make-target-1.sh || exit 1 sh make-host-2.sh || exit 1 sh make-target-2.sh || exit 1 -sh make-target-contrib.sh || exit 1 date