less loud, and build-summary compatible output
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 3 Oct 2008 07:58:54 +0000 (07:58 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 3 Oct 2008 07:58:54 +0000 (07:58 +0000)
commit9606a8cc35143d8d8aee4e627183562a39c28596
tree0622596e19aee26cfea3939575feebba1245adcc
parentf8cf3eea8faa5a7f56ce00b014b6236334cb9616
less loud, and build-summary compatible output
build.sh