Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins: stop handling Windows builds differently
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 23 Apr 2018 20:11:41 +0000 (22:11 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 23 Apr 2018 20:11:41 +0000 (22:11 +0200)
commit7ed4ebe18c85a6a4bf37ba6a11fc4307fa050644
tree34f5c57463cb91089ad989570b8cdf962df43a5d
parent3721210a272c9593a3bccd52f63178403b5729e3
jenkins: stop handling Windows builds differently
tools/jenkins/build.sh