From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 28 Aug 2008 16:50:09 +0000 (+0000)
Subject: merge [10342] on branch
X-Git-Tag: 4.2-rc21^2~12
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=ebcb39663ea6842bbcaa297274997f08535d4950;p=build.git

merge [10342] on branch
---

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 32797129..294aecca 100644
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -68,7 +68,9 @@ package: ghostscript
 # PLCAPI
 package: docbook-utils-pdf 
 package: postgresql postgresql-devel postgresql-python postgresql-server 
-package: php php-devel php-gd php-pgsql 
+# if we don't specify @arch@ for php-devel, we end up with the 2 variants (i386 and x86_64)
+# in an undetermined order, and php-config --extension-dir might return the wrong place
+package: php php-devel.@arch@ php-gd php-pgsql 
 package: PyXML 
 # used to reference SOAPpy as well
 # for pypcilib