[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-4-26-g5501d5b

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 7383c2a2c3b8d40396550092826cdd191f41bd58
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jan 13 21:22:28 2010 +0100

    fix

diff --git a/distcheck/common.ml b/distcheck/common.ml
index a5a41bf..d410bf0 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -322,4 +322,4 @@ let _ =
 	else 1 (* some package are not installable *)
 );;
 
-if !tmpfile <> "" then Sys.remove !tmpfiley
+if !tmpfile <> "" then Sys.remove !tmpfile

-- 
pkglab packaging