diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2012-04-04 13:28:11 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2012-04-04 13:28:11 -0700 |
commit | 22549f7e02841d5e6fcc6654dbaddcedc485f7e3 (patch) | |
tree | d5c9bbb90f439993820c5668940d8fc3fb24f0eb /configure | |
parent | 546385def966f1baa475ab1552394f60a3f61a86 (diff) | |
download | txr-22549f7e02841d5e6fcc6654dbaddcedc485f7e3.tar.gz txr-22549f7e02841d5e6fcc6654dbaddcedc485f7e3.tar.bz2 txr-22549f7e02841d5e6fcc6654dbaddcedc485f7e3.zip |
* configure (gen_gc): Default to off.
Help section added for gen_gc variable.
* gc.c (gc): Some missing CONFIG_GEN_GC added.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -139,7 +139,7 @@ valgrind=${valgrind-} lit_align=${lit_align-} extra_debugging=${extra_debugging-} debug_support=${debug_support-y} -gen_gc=${gen_gc-y} +gen_gc=${gen_gc-} mpi_version=1.8.6 have_quilt= have_patch= @@ -349,6 +349,13 @@ extra_debugging [$extra_debugging] Use --extra_debugging to configure some additional debugging features, which incur a run-time penalty. + +gen_gc [$gen_gc] + + Use --gen-gc to enable the experimental generational garbage collector. + This is currently disabled by default: a mark-and-sweep garbage collection + strategy is used which performs a full sweep. + ! exit 1 fi |