On 14 févr. 09, at 03:24, Benjamin Pierce wrote:
> Thanks, Alan -- for the moment I just want to build for this machine,
> so that should be easy.
>> Unfortunately, I'm having some struggles with reinstalling godi, at
> the moment. (I decided it was simplest just to install it from
> scratch.)
>> ~/tmp/godi-rocketboost-20080630> ./bootstrap_stage2
> ./bootstrap_stage2
> wget: unrecognized option `--no-glob'
> Usage: wget [OPTION]... [URL]...
Godi now relies on wget. I found that the simplest way to install was
using this binary:
http://www.statusq.org/archives/2008/07/30/1954/
Alan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://lists.seas.upenn.edu/pipermail/unison-hackers/attachments/20090215/ad86ed0b/PGP.sig