[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 67288db002c43082e4d886f423dbae667101ebbf
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 14 20:02:30 2009 +0200

    test

diff --git a/distcheck/common.ml b/distcheck/common.ml
index 8cf30ab..408e9d1 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -193,9 +193,16 @@ begin
 	if !output_xml then print_endline "</results>";
 end;;
 
+let unit_id_of_string it u =
+  try
+    Unit_index.search (get_unit_index it.db) u
+  with
+  | Not_found -> raise (Sorry(sf "Can't find unit %S" u))
+;;
+
 (* 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_only := Functions.select db (Unit_version (pkgname,Sel_ANY));
+  pkgs_to_check_only := Functions.select db (Unit_version ((unit_id_of_string pkgname),Sel_ANY));
   pkgs_to_check_only_set := true
 ;;
 

-- 
pkglab packaging