[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 38b80610c4e18aeb5dd4376ce7a250a52a41156d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 12:38:29 2011 +0100

    build pkglab.opt on native archs

diff --git a/debian/rules b/debian/rules
index 1630f0a..434f663 100755
--- a/debian/rules
+++ b/debian/rules
@@ -15,9 +15,12 @@ override_dh_auto_clean:
 override_dh_auto_build:
 	$(MAKE)
 ifeq ($(OPT),true)
+	make pkglab.opt
+	cp pkglab.opt pkglab
 	cd distcheck && make distcheck.opt
 	cd distcheck && cp distcheck.opt distcheck
 else
+	make pkglab
 	cd distcheck && make distchec
 endif
 	cd doc && make pkglab.html

-- 
pkglab packaging