From 12e16cd4aff8debc1e90f24f5638fadb1d7b5fbd Mon Sep 17 00:00:00 2001 From: Thomas Conway Date: Fri, 11 Sep 1998 01:06:42 +0000 Subject: [PATCH] fix up the options that I added in the last change. Estimated hours taken: 0.1 tools/bootcheck: fix up the options that I added in the last change. They now are: -g, --copy-boehm-gc so a bootcheck with a non-mt-safe stage 1 and an mt-safe stage 2/3 should be invoked: bootcheck -r -g ... --- tools/bootcheck | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/tools/bootcheck b/tools/bootcheck index 301fea5e4..2f99222fc 100755 --- a/tools/bootcheck +++ b/tools/bootcheck @@ -24,12 +24,10 @@ Options: 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 @@ while [ $# -gt 0 ]; do -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)