[Pkg-ocaml-maint-commits] [SCM] ocamlduce packaging branch, master, updated. upstream/3.11.0.0.rc1-6-g35f6568

[Stephane Glondu]

The following commit has been merged in the master branch:
commit d6b76f2f474fd9770b2a8d89146f945bdfdb852c
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jan 20 10:16:43 2009 +0100

    Two checks are better than only one

diff --git a/debian/rules b/debian/rules
index 17b5a21..e4e0837 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,7 +5,7 @@
 #export DH_VERBOSE=1
 
 OCAMLABI := $(shell ocamlc -version)
-IS_NATIVE := $(wildcard /usr/bin/ocamlopt)
+IS_NATIVE := $(wildcard /usr/bin/ocamlopt) $(wildcard /usr/bin/ocamlopt.opt)
 
 BUILD_TARGET := $(if $(IS_NATIVE),world.opt,world)
 INSTALL_TARGET := installbyte $(if $(IS_NATIVE),installopt)

-- 
ocamlduce packaging