[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-6-g20a6c18

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 20a6c18256e251361741bd79002062fec8b4e911
Author: Ralf Treinen <treinen at debian.org>
Date:   Mon Feb 6 19:59:40 2012 +0100

    undo accidential direct edits in the master branch

diff --git a/applications/distcheck.ml b/applications/distcheck.ml
index c564cb8..9561804 100644
--- a/applications/distcheck.ml
+++ b/applications/distcheck.ml
@@ -72,10 +72,10 @@ let main () =
   let posargs =
     let args = OptParse.OptParser.parse_argv Options.options in
     match Filename.basename(Sys.argv.(0)),args with
-    |("debcheck"|"dose3-debcheck"),[] -> ["deb://-"]
-    |("debcheck"|"dose3-debcheck"),l -> List.map ((^) "deb://") l
+    |("debcheck"|"edos-debcheck"),[] -> ["deb://-"]
+    |("debcheck"|"edos-debcheck"),l -> List.map ((^) "deb://") l
     |"eclipsecheck",l -> List.map ((^) "eclipse://") l
-    |("rpmcheck"|"dose3-rpmcheck"),l -> List.map ((^) "synth://") l
+    |("rpmcheck"|"edos-rpmcheck"),l -> List.map ((^) "synth://") l
     |_,_ -> args
   in
   Boilerplate.enable_debug (OptParse.Opt.get Options.verbose);

-- 
dose3 packaging