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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b69e5b31b342f127d621e3fc252742572f9e1365
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jun 18 22:46:30 2009 +0200

    flushd stderr after warning

diff --git a/distcheck/common.ml b/distcheck/common.ml
index b810f2c..d89f6b7 100644
--- a/distcheck/common.ml
+++ b/distcheck/common.ml
@@ -122,7 +122,8 @@ let pkgs_to_check =
 	List.iter
 	  (fun pn -> prerr_char ' '; prerr_string pn) 
 	  missing_package_names;
-	prerr_newline ()
+	prerr_newline ();
+	flush stderr
       end;
       ref filtered_packages
 in

-- 
pkglab packaging