K 10 svn:author V 3 bde K 8 svn:date V 27 1998-04-24T17:13:33.000000Z K 7 svn:log V 388 Don't build shared libraries twice for `make world'. This reduces `make world' times by about 10%. Use a new `bootstrap-libraries' target to build just enough (static) libraries to bootstrap the tools, and delay building of shared libraries until all the tools have been built. Fixed `/usr/bin/make world'. The version of `make' that we buildis nand use is named "make", not ${MAKE}. END