[Pkg-ocaml-maint-commits] [oasis] 04/07: Refresh patch

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository oasis.

commit 0ded97126736e5880c479fa52fda34e2be57ca5f
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon May 4 07:33:44 2015 -0300

    Refresh patch
---
 debian/patches/0001-Remove-dynrun_for_release-test.patch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/patches/0001-Remove-dynrun_for_release-test.patch b/debian/patches/0001-Remove-dynrun_for_release-test.patch
index ce24570..ac938f8 100644
--- a/debian/patches/0001-Remove-dynrun_for_release-test.patch
+++ b/debian/patches/0001-Remove-dynrun_for_release-test.patch
@@ -8,10 +8,10 @@ It times out on mips*.
  1 file changed, 13 deletions(-)
 
 diff --git a/test/TestFull.ml b/test/TestFull.ml
-index ad13705..324b2d6 100644
+index bdf9083..e43d468 100644
 --- a/test/TestFull.ml
 +++ b/test/TestFull.ml
-@@ -918,19 +918,6 @@ let gen_tests ~is_native () =
+@@ -934,19 +934,6 @@ let gen_tests ~is_native () =
           (* Run standard test. *)
           standard_test test_ctxt t);
  

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