This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository coq.
commit 63357a8dd2be33cde7f36dc45cbd50ca3b2c4743 Author: Stephane Glondu <[email protected]> Date: Fri Nov 22 14:36:32 2013 +0100 Disable micromega tests on Hurd --- .../0002-Disable-micromega-tests-on-Hurd.patch | 25 ++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 26 insertions(+) diff --git a/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch b/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch new file mode 100644 index 0000000..2d2ef7c --- /dev/null +++ b/debian/patches/0002-Disable-micromega-tests-on-Hurd.patch @@ -0,0 +1,25 @@ +From: Stephane Glondu <[email protected]> +Date: Fri, 22 Nov 2013 14:33:52 +0100 +Subject: Disable micromega tests on Hurd + +They exert lockf, which is not implemented on Hurd. +--- + test-suite/Makefile | 4 ++++ + 1 file changed, 4 insertions(+) + +diff --git a/test-suite/Makefile b/test-suite/Makefile +index cd5886f..9418be2 100644 +--- a/test-suite/Makefile ++++ b/test-suite/Makefile +@@ -74,6 +74,10 @@ BUGS := bugs/opened/shouldnotfail bugs/opened/shouldnotsucceed \ + VSUBSYSTEMS := prerequisite success failure $(BUGS) output \ + interactive micromega $(COMPLEXITY) modules + ++ifeq ($(shell dpkg-architecture -qDEB_HOST_ARCH_OS),hurd) ++ VSUBSYSTEMS := $(filter-out micromega,$(VSUBSYSTEMS)) ++endif ++ + # All subsystems + SUBSYSTEMS := $(VSUBSYSTEMS) misc bugs ide + +-- diff --git a/debian/patches/series b/debian/patches/series index 53d51a1..a264977 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 0001-test-suite-success-Nsatz.v-comment-out-Ceva.patch +0002-Disable-micromega-tests-on-Hurd.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
