[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-1-2-g6bed820

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 498e10ec0c7fc0544f4954184192640eb7ebea64
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 14 19:34:34 2009 +0200

    add code to check only a particular package

diff --git a/distcheck/common.ml b/distcheck/common.ml
index 07946ad..acb3318 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -191,11 +191,16 @@ begin
 	if !output_xml then print_endline "</results>";
 end;;
 
+(* set the list of packages to check according to the set of packages denoted by a comma-separated list *)
+let set_pkgs_to_check pkgname =
+  pkgs_to_check = Functions.select db (Unit_version pkgname Sel_ANY);; 
+
 let speclist = [
 	("-explain", Set explain_results, "Explain the results");
 	("-failures", Clear show_successes, "Only show failures");
 	("-successes", Clear show_failures, "Only show successes");
 	("-base FILE", String (add_source false), "Additional binary package control file providing packages that are not checked but used for resolving dependencies");
+	("-checkonly LIST", String set_pkgs_to_check, "Check only these packages");
 	("-quiet", Set quiet, "Do not emit warnings nor progress/timing information");
 	("-xml", Set output_xml, "Output results in XML format");
 	("-", Unit (fun () -> add_source true "-"), "");

-- 
pkglab packaging