partially undo a recent change that breaks f14 build
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Apr 2014 07:58:52 +0000 (09:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Apr 2014 07:58:52 +0000 (09:58 +0200)
commit6d57100e0a75e2c3b2dfc19b286aa56aa6188123
tree5987c28bec10911a901d7b0b34bf592fdea63593
parenteb767bfbb96f784a174224120b66d4d9134bfdeb
partially undo a recent change that breaks f14 build
lbuild-initvm.sh