[Pkg-ocaml-maint-commits] [dose3] 01/01: fix distcheck handling of --bg and --fg

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository dose3.

commit 576b96d3fb8e2cf74da0e11183a75cff3097df44
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Jul 15 10:48:09 2016 +0200

    fix distcheck handling of --bg and --fg
---
 debian/changelog               |  4 +++-
 debian/patches/distcheck-fg-bg | 18 ++++++++++++++++++
 debian/patches/series          |  1 +
 3 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 053fc8e..a58074f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,11 @@
 dose3 (5.0-2) UNRELEASED; urgency=medium
 
+  * patch distcheck-fg-bg: fix calculation of the list of packages to check
+    by distcheck in case of both --bg and --fg arguments (closes: #830957).
   * added NEWS item for dose-distcheck and dose-builddebcheck
     about --latest now taking an integer argument.
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 05 Jul 2016 16:41:30 +0200
+ -- Ralf Treinen <treinen at debian.org>  Fri, 15 Jul 2016 10:47:23 +0200
 
 dose3 (5.0-1) unstable; urgency=medium
 
diff --git a/debian/patches/distcheck-fg-bg b/debian/patches/distcheck-fg-bg
new file mode 100644
index 0000000..da57268
--- /dev/null
+++ b/debian/patches/distcheck-fg-bg
@@ -0,0 +1,18 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: fix distcheck handling of --fg and --bg arguments
+Debian-bug: #830957
+Upstream-commit: 0b73c05b71b0c37099b12e306b1e5b5c3966728c
+
+diff --git a/applications/distcheck.ml b/applications/distcheck.ml
+index 48c323f..cd5829b 100644
+--- a/applications/distcheck.ml
++++ b/applications/distcheck.ml
+@@ -133,7 +133,7 @@ let main () =
+         fatal "Cannot find any package corresponding to the selector %s" 
+         (Util.string_of_list ~sep:", " Pef.Printer.string_of_vpkg co)
+       |l -> l
+-    end else if bg_pkglist = [] then fg_pkglist else []
++    end else fg_pkglist
+   in
+ 
+   let coinstlist = 
diff --git a/debian/patches/series b/debian/patches/series
index 9dceec7..ce104a9 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 binaries-prefix-edos
+distcheck-fg-bg

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