summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-02-08 22:21:13 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2009-02-08 22:44:07 +0100
commit8faffcb73f356ac4a3c41ae3356be5fe26244b58 (patch)
treef9691686d881eea43b95de1e24e97f53f33ea747 /debian/rules
parent17b916046915bc293eb2835f425ab7510aebb02f (diff)
Explicit more dependencies for autobuildersdebian/8.2.rc2+dfsg-3
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules
index f53ab304..3170165b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -37,7 +37,7 @@ OCAMLINITSED := -e 's/@OCamlABI@/$(OCAMLABI)/g' -e '/^\#/d'
OCAMLOPT := $(wildcard /usr/bin/ocamlopt*)
ifneq ($(OCAMLOPT),)
- CONFIGUREOPTS += -opt
+ # CONFIGUREOPTS += -opt
OCAMLINITSED += -e 's/^OPT: //'
else
OCAMLINITSED += -e '/^OPT: /d'