Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] Workaround for Windows
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 14:50:45 +0000 (16:50 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Jul 2015 14:50:45 +0000 (16:50 +0200)
commit4c285d0a8238fc35cead0e142f58f4f627eb283b
treead08aa1233c076afd25a144772726a60cf0f81d7
parentbe61629ce751a669350f02cc076bb7ab595fbfff
[jenkins] Workaround for Windows
buildtools/jenkins/build.sh