Re: plt/install failed 200alpha5

[steck@ccs.neu.edu (Paul Steckler)]

Matthew Flatt wrote:
> Don't forget the -d:
> 
>   cvs update -d -r exp
>              ^^
> 
> (I'll add a note to the anoncvs page.)

And if you want to have CVS delete empty 
directories, you can also add the -P flag:

 cvs update -r exp -d -P

That's what we use in our cron job that runs
setup-plt.

-- Paul

 ----------------------------------------------
| Paul Steckler                                |
| steck@ccs.neu.edu                            |
| "I'm the type-checker; I'm here to help you" |
 ---------------------------------------------