use new -e build option instead of messing with -x -x -x
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Mar 2012 10:30:46 +0000 (11:30 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 20 Mar 2012 10:30:46 +0000 (11:30 +0100)
commit18124690011d8c9ef11a77ea4a503c9bc9f30849
tree6c3203c63c2f8b11801897dee4898d5412e95f3f
parent4813f06f1bae9018b83e079e724defa5d2b00ff8
use new -e build option instead of messing with -x -x -x
scripts/builds.sh