mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-13 21:04:00 +00:00
Code Issues Projects Releases Wiki Activity

fix up the options that I added in the last change.

Browse Source 
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 ...
This commit is contained in:
Thomas Conway
1998-09-11 01:06:42 +00:00
parent cc489361e1
commit 12e16cd4af
1 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tools/bootcheck
View File

@@ -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)