[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: 103/1
At 15:26 -0500 2000-07-27, Paul A. Steckler wrote:
> >I had to delete the .zos by hand:
>>
>>find . -name "*.zo" -print -exec rm {} \;
>>
>>and run `install' again, which is fairly easy, but WIBNI the setup
>>procedure took care of this? Or maybe adding a `-force' argument to
>>the install script to re-build all the .zos?
>
>setup-plt has a --clean option, which will remove .zo's for you.
you can also get a full list of setup-plt's command-line options by
supplying the flag "-h" or "--help". FWIW.
john
- References:
- RE: 103/1
- From: "Paul A. Steckler" <steck@cs.rice.edu>