fix http://svn.planet-lab.org/changeset/11139 : extensions were not building
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 6 Jan 2009 13:44:09 +0000 (13:44 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 6 Jan 2009 13:44:09 +0000 (13:44 +0000)
commit393fddcc5608fb5c8efda16a3729ae0795b074f8
tree838c951484f9730bc8a75c123531e68d1ce40c53
parentde19a6c4c54d896d0efa0aa90f13618828f499bd
fix svn.planet-lab.org/changeset/11139 : extensions were not building
build.sh