Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Switch to actually perform out-of-source builds.
authordegomme <augustin.degomme@unibas.ch>
Wed, 6 Apr 2016 10:29:11 +0000 (12:29 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Wed, 6 Apr 2016 10:29:11 +0000 (12:29 +0200)
commit3dcd8f7f96dfdd910cd32f504f9e1fb25052484e
tree269dabae31554971df34416e3d121aab265fe0a6
parent71f3b1f4eee1b1249ba79aba9b0c49fb8c696f06
Switch to actually perform out-of-source builds.
This should expose some issues.
next step would be to rename the first "build" folder, but I want to see how this turns out first.
tools/jenkins/build.sh