[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 597c959ab4b3625f4ce8536464dc8b4e1acabfa5
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jan 13 21:21:15 2010 +0100

    fix

diff --git a/distcheck/common.ml b/distcheck/common.ml
index fb93499..a5a41bf 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -46,7 +46,7 @@ begin
       (if !rpm_synthesis then "synthesis" else "")
     in
       begin
-	tmpfile := c;
+	tmpfile := n;
 	try
           while true
           do

-- 
pkglab packaging