[Pkg-ocaml-maint-commits] [coccinelle] 01/04: New patch:

[Eugeniy Meshcheryakov]

This is an automated email from the git hooks/post-receive script.

eugen pushed a commit to branch master
in repository coccinelle.

commit 0f7a764ba83444e2ba39046c4a739fb6fb510e19
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Wed Dec 25 22:28:16 2013 +0100

    New patch:
    
    * New patch:
      - detect-itimer.diff — detect architectures without [gs]etitimer API
        support. This should fix testsuite failures on Hurd.
---
 debian/changelog                  |  8 ++++++++
 debian/patches/detect-itimer.diff | 15 +++++++++++++++
 debian/patches/series             |  1 +
 3 files changed, 24 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 7ae7059..64efee5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coccinelle (1.0.0~rc19.deb-3) unstable; urgency=medium
+
+  * New patch:
+    - detect-itimer.diff — detect architectures without [gs]etitimer API
+      support. This should fix testsuite failures on Hurd.
+
+ -- Євгеній Мещеряков <eugen at debian.org>  Wed, 25 Dec 2013 22:26:14 +0100
+
 coccinelle (1.0.0~rc19.deb-2) unstable; urgency=medium
 
   * Fix the clean target
diff --git a/debian/patches/detect-itimer.diff b/debian/patches/detect-itimer.diff
new file mode 100644
index 0000000..5bf2676
--- /dev/null
+++ b/debian/patches/detect-itimer.diff
@@ -0,0 +1,15 @@
+--- a/commons/common.ml
++++ b/commons/common.ml
+@@ -3529,7 +3529,11 @@
+  * question: can we have a signal and so exn when in a exn handler ?
+  *)
+ 
+-let interval_timer = ref true
++let interval_timer = ref (
++  try
++    ignore(Unix.getitimer Unix.ITIMER_VIRTUAL);
++    true
++  with Unix.Unix_error(_, _, _) -> false)
+ 
+ let timeout_function timeoutval = fun f ->
+   try
diff --git a/debian/patches/series b/debian/patches/series
index 87fc0b5..f43f215 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 pdf-docs-build.diff
+detect-itimer.diff

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git