K 10 svn:author V 3 jdp K 8 svn:date V 27 1998-11-04T18:25:23.000000Z K 7 svn:log V 63 Fix make world breakage: "$MACHINE_ARCH" -> "${MACHINE_ARCH}". END