[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.19+dfsg-2-17-g9832da6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 8981f7914a4ff03bd071d8e8318c324242281c10
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 10 21:37:24 2010 +0100

    Add 0001-Do-not-run-tests-on-non-existant-files.patch

diff --git a/debian/changelog b/debian/changelog
index 58461a7..ab8910a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -8,6 +8,7 @@ why (2.23+dfsg-1) UNRELEASED; urgency=low
   * Refresh packaging
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
+    + Add 0001-Do-not-run-tests-on-non-existant-files.patch
   * Set filter-pristine-tar to True in debian/gbp.conf
   * Remove libjessie-ocaml-dev which is no longer user by Frama-C
   * Update copyright file
diff --git a/debian/patches/0001-Do-not-run-tests-on-non-existant-files.patch b/debian/patches/0001-Do-not-run-tests-on-non-existant-files.patch
new file mode 100644
index 0000000..03b4128
--- /dev/null
+++ b/debian/patches/0001-Do-not-run-tests-on-non-existant-files.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Sun, 10 Jan 2010 21:34:05 +0100
+Subject: [PATCH] Do not run tests on non-existant files
+
+---
+ Makefile.in |    2 +-
+ 1 files changed, 1 insertions(+), 1 deletions(-)
+
+diff --git a/Makefile.in b/Makefile.in
+index 15b604b..1ff1a91 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -747,7 +747,7 @@ bench-tc:: $(BINARY) $(WHYVO)
+ 	cd bench; sh ./bench "../$(BINARY) -tc"
+ 
+ test:: $(BINARY) $(WHYVO)
+-	$(BINARY) -d -V -coq bench/test.ml
++	[ ! -f bench/test.ml ] || $(BINARY) -d -V -coq bench/test.ml
+ 
+ .PHONY: examples examples-c
+ 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..c5bd921
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Do-not-run-tests-on-non-existant-files.patch

-- 
why packaging