try to fix initvm
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 5 Feb 2014 13:47:40 +0000 (14:47 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 5 Feb 2014 13:47:40 +0000 (14:47 +0100)
commit5436683ad7256354bea7010e16be88460258bf07
treec7e620abcd7899ed818151fda6c552076a4f0606
parentcb3698b6da271b3614101b5ac2f4cb315b0da948
try to fix initvm
lbuild-initvm.sh