add a -s option so we can use this in daytime
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 8 Feb 2014 11:23:03 +0000 (12:23 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 8 Feb 2014 11:23:03 +0000 (12:23 +0100)
commitc7fbc26c90769b5b7d010281924c3d1fc9b1b08f
treee95a11ba95b59c494becd663ec38902a5fc1b4bd
parentd69ab3e1cd9e863ff3a4171d24196dd78c5d6984
add a -s option so we can use this in daytime
scripts/builds.sh