oops, using -i is enough, that should have gone
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 Mar 2008 16:29:53 +0000 (16:29 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 Mar 2008 16:29:53 +0000 (16:29 +0000)
commita7ea01f734d1beb8ef8e37db675ec810d2288476
treeabc87ce58277cf7fc4f8a8efa1d50a9ba765bdbd
parente46a735e756997a3335d8f90192802ac6fbe9f1d
oops, using -i is enough, that should have gone
vbuild-nightly.sh