Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins fun
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 27 Jul 2015 15:00:00 +0000 (17:00 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 27 Jul 2015 15:00:03 +0000 (17:00 +0200)
commit68e4963f7567ad9a1c5c7d09c492ea1d90112f90
treee4ff51ca0e624ac24a70d629ba98a107dc42d8fa
parent4c285d0a8238fc35cead0e142f58f4f627eb283b
jenkins fun

- Don't display the build mode before it's set
- On Windows, the command die does not exist
buildtools/jenkins/build.sh