summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2012-04-04 13:28:11 -0700
committerKaz Kylheku <kaz@kylheku.com>2012-04-04 13:28:11 -0700
commit22549f7e02841d5e6fcc6654dbaddcedc485f7e3 (patch)
treed5c9bbb90f439993820c5668940d8fc3fb24f0eb /configure
parent546385def966f1baa475ab1552394f60a3f61a86 (diff)
downloadtxr-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-xconfigure9
1 files changed, 8 insertions, 1 deletions
diff --git a/configure b/configure
index b287bcd9..a35a0bb1 100755
--- a/configure
+++ b/configure
@@ -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