[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-13-gf9f5d3e

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f9f5d3e1f47e6a96bbdc3f87a9db70e4b61e91c4
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 15:23:40 2009 +0100

    no need to strip

diff --git a/debian/rules b/debian/rules
index ae58f80..0ac68e9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -59,9 +59,7 @@ binary-arch: build install
 	dh_installdocs
 	dh_installman
 	dh_link
-ifdef $(OCAML_OPT_ARCH)
 	dh_strip
-endif
 	dh_compress
 	dh_fixperms
 	dh_installdeb

-- 
alt-ergo packaging