[Pkg-ocaml-maint-commits] [SCM] opam packaging branch, master, updated. upstream/0.9.0+deb1-17-g2f49b0c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 181d214ac29f4bc75fa4608e514adce14aacae51
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Apr 6 13:26:45 2013 +0200

    Do not compile and install opam_check

diff --git a/debian/buildsys/byte.itarget b/debian/buildsys/byte.itarget
index eb6ba6f..7634908 100644
--- a/debian/buildsys/byte.itarget
+++ b/debian/buildsys/byte.itarget
@@ -1,4 +1,3 @@
 src/client/opamMain.byte
 src/scripts/opam_mk_repo.byte
-src/scripts/opam_check.byte
 src/scripts/opam_repo_check.byte
diff --git a/debian/buildsys/opt.itarget b/debian/buildsys/opt.itarget
index b513edf..8aa35da 100644
--- a/debian/buildsys/opt.itarget
+++ b/debian/buildsys/opt.itarget
@@ -1,4 +1,3 @@
 src/client/opamMain.native
 src/scripts/opam_mk_repo.native
-src/scripts/opam_check.native
 src/scripts/opam_repo_check.native
diff --git a/debian/rules b/debian/rules
index 2b15922..7503a29 100755
--- a/debian/rules
+++ b/debian/rules
@@ -33,7 +33,6 @@ override_dh_auto_install:
 	cp _build/src/client/opamMain.$(BINEXT)			$(DESTDIR)/usr/bin/opam
 	cp _build/src/scripts/opam_mk_repo.$(BINEXT) 		$(DESTDIR)/usr/bin/opam-mk-repo
 	cp _build/src/scripts/opam_repo_check.$(BINEXT) 	$(DESTDIR)/usr/bin/opam-repo-check
-	cp _build/src/scripts/opam_check.$(BINEXT) 		$(DESTDIR)/usr/bin/opam-check
 
 .PHONY: override_dh_install
 override_dh_install:

-- 
opam packaging