git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6f04f32)
avoid ending up with an i386 caml compiler that throws up corrupt asm
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Sep 2008 13:05:30 +0000 (13:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 30 Sep 2008 13:05:30 +0000 (13:05 +0000)
config.planetlab/devel.pkgs patch | blob | history

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 6e84c01..0ce170c 100644 (file)
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -76,8 +76,8 @@ package: PyXML
 # for pypcilib
 package: pciutils-devel
 ##########
-# for vsys
-package: ocaml ocaml-docs 
+# for vsys - same as for php-devel above
+package: ocaml.@arch@ ocaml-docs 
 # use local inotify-tools on centos
 package:inotify-tools-devel 
 package-centos5: inotify-tools-devel
build