[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.4-2-8-g8d93afe

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit a79c20dc4a65780d967f44739508bc51b3a84b6a
Merge: 57a5cc4aa9e6eceffa29612a5ea744858e4371df 7a6cc47998cf18b055e8d84f5ca88848034e954d
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Fri Jun 10 15:45:19 2011 +0200

    Merge commit 'upstream/2.9.7+r2696'

diff --combined applications/distcheck.ml
index da856da,a5915f0..8ed9038
--- a/applications/distcheck.ml
+++ b/applications/distcheck.ml
@@@ -13,6 -13,7 +13,7 @@@
  open ExtLib
  open Debian
  open Common
+ open Algo
  open Diagnostic
  
  module Options = struct
@@@ -61,10 -62,10 +62,10 @@@ let main () 
    let posargs =
      let args = OptParse.OptParser.parse_argv Options.options in
      match Filename.basename(Sys.argv.(0)),args with
 -    |("debcheck"|"edos-debcheck"),[] -> ["deb://-"]
 -    |("debcheck"|"edos-debcheck"),l -> List.map ((^) "deb://") l
 +    |("debcheck"|"dose3-debcheck"),[] -> ["deb://-"]
 +    |("debcheck"|"dose3-debcheck"),l -> List.map ((^) "deb://") l
      |"eclipsecheck",l -> List.map ((^) "eclipse://") l
 -    |("rpmcheck"|"edos-rpmcheck"),l -> List.map ((^) "synth://") l
 +    |("rpmcheck"|"dose3-rpmcheck"),l -> List.map ((^) "synth://") l
      |_,_ -> args
    in
    Boilerplate.enable_debug (OptParse.Opt.get Options.verbose);

-- 
dose3 packaging