[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-11-23-gf5850e5

[Ralf Treinen]

The following commit has been merged in the master branch:
commit f8c6da4d0c7274cd02d7af89e1f7f019e06660c7
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 26 23:17:41 2010 +0200

    try with -i

diff --git a/debian/contrib/edos-builddebcheck b/debian/contrib/edos-builddebcheck
index c9e263a..1bc3dc4 100755
--- a/debian/contrib/edos-builddebcheck
+++ b/debian/contrib/edos-builddebcheck
@@ -75,7 +75,7 @@ if ( $architecture eq "" ) {
 
 open(RESULT,"python /usr/share/edos-distcheck/add-sources.py ".
      "--prefix \"$sourceprefix\" $sourcesfile $architecture ".
-     "| edos-debcheck -I $packagefile $edosoptions|");
+     "| edos-debcheck -i $packagefile $edosoptions|");
 
 $sourcestanza=0;
 $explanation="";

-- 
pkglab packaging