[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 e8ba0e46c1b269e105fbf1b2fc411770d5a14415
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jun 14 19:44:40 2009 +0200

    typo

diff --git a/distcheck/common.ml b/distcheck/common.ml
index a8b29a2..5899bf4 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -14,7 +14,9 @@ and explain_results = ref false
 and quiet = ref false
 and output_xml= ref false
 and dist_type = ref `Debian
-and source_added = ref false;;
+and source_added = ref false
+and pkgs_to_check_only = ref []
+and pkgs_to_check_only_set = ref false;;
 
 let db = create_database ();;
 let architecture_index = get_architecture_index db;;
@@ -193,7 +195,9 @@ 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));; 
+  pkgs_to_check_only := (Functions.select db (Unit_version (pkgname,Sel_ANY))) ref;
+  pkgs_to_check_only_set := true
+;;
 
 let speclist = [
 	("-explain", Set explain_results, "Explain the results");

-- 
pkglab packaging