fix build mapping
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Jan 2014 16:02:21 +0000 (17:02 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 23 Jan 2014 16:02:21 +0000 (17:02 +0100)
commit4bcfbb4e709cd1b5702e9d0475dfefa428f65093
treee6bfe6d95792582de81f8d4b91ffdcbb78f34e59
parentfd70f8448c626829a185e85af3a04356a8f736cf
fix build mapping
scripts/builds.sh