[Pkg-ocaml-maint-commits] [SCM] camljava packaging branch, master, updated. upstream/0.3.orig-10-gc60a8d6

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit c60a8d692513f66341822ffd6d63dfe8f21de4e3
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat Nov 28 10:29:51 2009 +0100

    use Bool_val to be more future proof

diff --git a/debian/patches/0005-debugging-facility-for-Java-exceptions.patch b/debian/patches/0005-debugging-facility-for-Java-exceptions.patch
index 62d7c35..f54d37a 100644
--- a/debian/patches/0005-debugging-facility-for-Java-exceptions.patch
+++ b/debian/patches/0005-debugging-facility-for-Java-exceptions.patch
@@ -36,7 +36,7 @@ index 9005e65..d1febac 100644
  external shutdown: unit -> unit = "camljava_Shutdown"
  
 diff --git a/lib/jnistubs.c b/lib/jnistubs.c
-index e1659f8..9938e89 100644
+index e1659f8..27ff365 100644
 --- a/lib/jnistubs.c
 +++ b/lib/jnistubs.c
 @@ -74,6 +74,13 @@ value camljava_IsNull(value vobj)
@@ -46,7 +46,7 @@ index e1659f8..9938e89 100644
 +static int debug = 0;
 +
 +value camljava_set_debug(value v) {
-+  debug = Int_val(v);
++  debug = Bool_val(v);
 +  return Val_unit;
 +}
 +

-- 
camljava packaging