Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add a test for jenkins to try a few configuration options
authordegomme <augustin.degomme@unibas.ch>
Tue, 14 Jun 2016 23:32:33 +0000 (01:32 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 14 Jun 2016 23:32:33 +0000 (01:32 +0200)
commit78c46677679a2dea291a739acdf387472c39e06d
tree9236d3b2810ba477ad8c331632b2e049558e09f0
parentfc8b2e0f9419dad80712d037452bdc4810182dee
Add a test for jenkins to try a few configuration options
for the nightly build. This should trigger 16 builds for now, which may be a lot.
tools/jenkins/Flags.sh [new file with mode: 0755]