add a -y option that gets passed to run_log - old -y renamed into -Y
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 20:50:11 +0000 (21:50 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 15 Nov 2011 20:50:11 +0000 (21:50 +0100)
commitd6d1b5a4748a76850b2e1bdf5adac005f9cb72d5
treea14ddf62f2def706a29dcc9ef0acbe0b702c2a49
parentba37c40803498af601fc5c49e408c3944568fbd6
add a -y option that gets passed to run_log - old -y renamed into -Y
vbuild-nightly.sh