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

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> 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.

D'oh! I just committed the other changes.
Try the following diff for size.

-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+

cvs diff: Diffing .
Index: bootcheck
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/bootcheck,v
retrieving revision 1.62
diff -u -r1.62 bootcheck
--- bootcheck	1998/09/10 07:45:45	1.62
+++ bootcheck	1998/09/10 08:11:12
@@ -24,12 +24,10 @@
 		Copy the runtime directory instead of linking it.
 		This is necessary if one wants to bootcheck a grade
 		that is not compatible with the standard one.
-	--copy-boehm-gc
+	-g, --copy-boehm-gc
 		Copy the bohem_gc directory instead of linking it.
 		This is necessary if one wants to bootcheck a grade
 		that is not compatible with the standard one.
-	-R
-		Implies both --copy-runtime and --copy-boehm-gc.
 	-p, --copy-profiler
 		Copy the profiler directory instead of linking it.
 		This is sometimes necessary for bootstrapping
@@ -112,11 +110,7 @@
 	-r|--copy-runtime)
 		copy_runtime=true ;;
 
-	--copy-boehm-gc)
-		copy_boehm_gc=true ;;
-
-	-R)
-		copy_runtime=true
+	-g|--copy-boehm-gc)
 		copy_boehm_gc=true ;;
 
 	-s|--sicstus)