[m-dev.] For review: change bootcheck to copy the boehm collector

[Fergus Henderson]

On 10-Sep-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> > +	-R, --copy-runtime --copy-boehm-gc
> > +		Copy the runtime and boehm_gc directories instead of linking
> > +		them.  This is necessary if one wants to bootcheck a grade
> > +		that is not compatible with the standard one for the boehm
> > +		collector as well as the runtime.
> 
> --copy-boehm-gc and -R should be documented separately, since they have
> different meanings.

Yep.  Also every short option should have a long option equivalent,
so `-R' needs an equivalent, say `--copy-runtime-and-boehm-gc', for example.

But it might be simpler to just have two options `-R'/`--copy-runtime'
and `-G'/--copy-boehm-gc' and to use `-RG' if you want both.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.