[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 5501d5bad8afd3d47102ea7c906c1449ca4b2519
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Jan 13 21:27:10 2010 +0100

    its better to remove temp files *before* calling exit

diff --git a/distcheck/common.ml b/distcheck/common.ml
index d410bf0..f439ef0 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -314,6 +314,7 @@ let _ =
     if Package_set.is_empty !pkgs_to_check then
       pkgs_to_check := Package_set.diff (Functions.packages db) !not_to_check;
   end;
+  if !tmpfile <> "" then Sys.remove !tmpfile;
   exit (if (show_results (check ()))
 	then 
 	  if !packages_are_missing
@@ -322,4 +323,3 @@ let _ =
 	else 1 (* some package are not installable *)
 );;
 
-if !tmpfile <> "" then Sys.remove !tmpfile

-- 
pkglab packaging