turn off -nois builds
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 13 Mar 2015 11:04:07 +0000 (12:04 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 13 Mar 2015 11:04:07 +0000 (12:04 +0100)
commita4fb55fcda605e3e29e3b117e3d93d4f820016cf
tree07fcb236d6d1a52f557bbe216de2a4e2d70a78d1
parentbffa53ef9945b40165ee8b409db7692bc24976a7
turn off -nois builds
scripts/builds.sh