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 <st...@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 _______________________________________________ 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