On Sun, Apr 23, 2000 at 06:51:16PM -0400, Brian Fundakowski Feldman wrote:
> I certainly don't mind adding more shells to the ${MAKE_SHELL} logic, but
> so far have only done ksh because using pdksh as the ${MAKE_SHELL} does,
> for me, result in about 10% faster make world time, and speeds port
> building enormously
Do you have any guesses about what causes this speed increase? What does
our shell suck at, in terms of speed? Maybe we could try and speed it up.
(this is not meant to counter your proposal).
--
Anatoly Vorobey,
[EMAIL PROTECTED] http://pobox.com/~mellon/
"Angels can fly because they take themselves lightly" - G.K.Chesterton
To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message
