At 04:30  26/1/01 -0800, Sean Kelly wrote:
>Any particular reason why build.sh
>uses /bin/sh while bootstrap.sh uses
>/bin/bash?  Makes building on anything
>but Linux mildly annoying ...

Some systems apparently link /bin/sh to tcsh ;( (Or so was said a few days
ago on this list) and we were using basyh specific features. However these
features will be removed in a few days (as soon as I get some time) as we
are going to roll back recent changes to the build process.

Cheers,

Pete

*-----------------------------------------------------*
| "Faced with the choice between changing one's mind, |
| and proving that there is no need to do so - almost |
| everyone gets busy on the proof."                   |
|              - John Kenneth Galbraith               |
*-----------------------------------------------------*

Reply via email to