Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't do the loop ourselves, let jenkins handle this part with Configuration Matrix
authordegomme <augustin.degomme@unibas.ch>
Mon, 27 Feb 2017 15:01:08 +0000 (16:01 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 27 Feb 2017 15:01:08 +0000 (16:01 +0100)
commitff87943aadb7d5e46b41b6ad329015f65b3c52d4
tree8bb61a6eb694b1a295813a2303a0532ba8f9702f
parent9b4b2e1cf9fcf5fa08f719cfc1dc7636edd8713d
Don't do the loop ourselves, let jenkins handle this part with Configuration Matrix
This should improve readability of the output
tools/jenkins/Flags.sh