more robust for parallel runs
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Apr 2015 09:13:12 +0000 (11:13 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Apr 2015 09:13:12 +0000 (11:13 +0200)
commit869b1cfb57831a9463b04ccf34d9a5d537d5ee87
treefaeb59f1bb69b3ac8e951589c2fdcb3141574da5
parent0fe3a7a5c7daafe86ce4d027691f738b828b51b0
more robust for parallel runs
scripts/vbuild-nightly.sh