add the -omf build
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 9 Apr 2014 06:37:50 +0000 (08:37 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 9 Apr 2014 06:37:50 +0000 (08:37 +0200)
commite1c2d598edb1187a55d8ecc4afbd4d2fb1938faf
tree0904361cf35c3e040b3d204d14e0395f35c2b8aa
parent71ba8130725325a15f7b6e814747975b9c81e134
add the -omf build
scripts/builds.sh