[Pkg-ocaml-maint-commits] [oasis] 08/13: Remove patch (does not apply anymore)

[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 8428fff04adbe36f0c5af1492fcd5e00a5791556
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 20 14:05:42 2017 +0200

    Remove patch (does not apply anymore)
---
 .../0001-Remove-dynrun_for_release-test.patch      | 34 ----------------------
 debian/patches/series                              |  1 -
 2 files changed, 35 deletions(-)

diff --git a/debian/patches/0001-Remove-dynrun_for_release-test.patch b/debian/patches/0001-Remove-dynrun_for_release-test.patch
deleted file mode 100644
index ac938f8..0000000
--- a/debian/patches/0001-Remove-dynrun_for_release-test.patch
+++ /dev/null
@@ -1,34 +0,0 @@
-From: Stephane Glondu <steph at glondu.net>
-Date: Sat, 14 Jun 2014 11:46:21 +0200
-Subject: Remove dynrun_for_release test
-
-It times out on mips*.
----
- test/TestFull.ml | 13 -------------
- 1 file changed, 13 deletions(-)
-
-diff --git a/test/TestFull.ml b/test/TestFull.ml
-index bdf9083..e43d468 100644
---- a/test/TestFull.ml
-+++ b/test/TestFull.ml
-@@ -934,19 +934,6 @@ let gen_tests ~is_native () =
-          (* Run standard test. *)
-          standard_test test_ctxt t);
- 
--    "dynrun_for_release">::
--    (fun test_ctxt ->
--       let t =
--         setup_test_directories test_ctxt in_testdata_dir
--           ["TestFull"; "dynrun_for_release"]
--       in
--         oasis_setup ~dev:true ~dynamic:true test_ctxt t;
--         (* Setup expectation. *)
--         register_generated_files t ["INSTALL.txt"];
--         (* Run standard test. *)
--         standard_test test_ctxt t;
--         dbug_file_content test_ctxt (in_src_dir t "INSTALL.txt"));
--
-     "dynlink">::
-     (fun test_ctxt ->
-        let t =
--- 
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 06b1da2..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1 +0,0 @@
-0001-Remove-dynrun_for_release-test.patch

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