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 <eu...@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. + + -- Євгеній Мещеряков <eu...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits