use new build box for tests
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 21 Mar 2008 19:21:43 +0000 (19:21 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 21 Mar 2008 19:21:43 +0000 (19:21 +0000)
commit938c26370f9d75b7a2563496c495132a5b8d518f
treee7a2f6d6b3d701593f4f461e8de8b25d460d3e4a
parent1c24f7f1e1dcb02a12963731d1cf348c40aa400a
use new build box for tests
vbuild-nightly.sh