On Wed 04 Mar 2015 11:10, l...@gnu.org (Ludovic Courtès) writes: > diff --git a/libguile/gc.c b/libguile/gc.c > index 097cb3d..78999c2 100644 > --- a/libguile/gc.c > +++ b/libguile/gc.c > @@ -609,6 +609,7 @@ scm_storage_prehistory () > target_free_space_divisor = free_space_divisor; > GC_set_free_space_divisor (free_space_divisor); > GC_set_finalize_on_demand (1); > + GC_set_java_finalization (1); > > GC_INIT ();
This is the wrong patch :) As you can see in scm_init_guardians() we actually already call this, and the novelty would be to have not-java finalization. Andy -- http://wingolog.org/