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/

Reply via email to