Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[jenkins] Avoid build errors on centos.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 7 Mar 2022 16:31:00 +0000 (17:31 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 7 Mar 2022 16:31:00 +0000 (17:31 +0100)
commit9a01538f6933774c3dc6816482324b61efa9cdaf
tree306433fe04b18ec9de494774c008fca6f5876c84
parent386e6063f7b5cacadf0197d6cbd08f874a614721
[jenkins] Avoid build errors on centos.
tools/jenkins/build.sh