Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins: make sure that we don't modify the source tree when doing out of tree builds
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 19 Apr 2018 19:39:44 +0000 (21:39 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 23 Apr 2018 12:23:40 +0000 (14:23 +0200)
commit50ff9b1b8b809bc20c9320310b19f0a294bba055
treee3470a1b78dafc09f046d9f4d5baced6b8caab4d
parent84733adf13f6e36f5861ddd1953e4df97ef2be78
jenkins: make sure that we don't modify the source tree when doing out of tree builds
tools/jenkins/build.sh