[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 11799999f3f501ce3faf8df95d9f0da12f5bae1d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 12:34:36 2011 +0100

    distcheck binary is in distchjeck dir

diff --git a/debian/rules b/debian/rules
index 6b68325..1630f0a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -16,7 +16,7 @@ override_dh_auto_build:
 	$(MAKE)
 ifeq ($(OPT),true)
 	cd distcheck && make distcheck.opt
-	cp distcheck.opt distcheck
+	cd distcheck && cp distcheck.opt distcheck
 else
 	cd distcheck && make distchec
 endif

-- 
pkglab packaging