[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4-1-16-g75705a4

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 75705a4d7bee6e8af8bca372979ef7ce207e5760
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon May 25 08:58:52 2009 +0200

    build the right binarie

diff --git a/debian/rules b/debian/rules
index 9572a05..ec62134 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,9 +20,9 @@ build/pkglab::
 
 build/edos-distcheck::
 ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
-	cd distcheck && make distcheck
-else
 	cd distcheck && make distcheck.opt
+else
+	cd distcheck && make distcheck
 endif
 
 install/edos-distcheck::

-- 
pkglab packaging