comply with builds.sh -s
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 19 Jun 2015 14:14:29 +0000 (16:14 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 19 Jun 2015 14:14:29 +0000 (16:14 +0200)
commit86f5e843a309452d1c47e4834d6d9220b500909f
treea3833a760f6d854d3f5d0a4523d384654f1cd201
parent32a385a8f6ff120473bab21983c58ed18983f45b
comply with builds.sh -s
scripts/builds.sh