Re: plt/install failed 200alpha5

[Matthew Flatt <mflatt@cs.utah.edu>]

Quoting Paul Steckler:
> Francisco Solsona wrote:
> > I got a fresh copy of the PLT software last night, and everything
> > compiles OK, except for the last step (plt/install), there seems to be
> > missing some files in:
> > 
> >      $PLTHOME/collects/version/private
> 
> What happens when you run
>  
>  cvs update -r exp 
> 
> in that directory? 

Don't forget the -d:

  cvs update -d -r exp
             ^^

(I'll add a note to the anoncvs page.)

Matthew