Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Duplicate cleanup instructions for jenkins builds in other scripts.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 13 Mar 2021 21:25:04 +0000 (22:25 +0100)
commitfc3ef5bd2ac94edcf603cc05f2fdd2497ef1027f
treeecb4b3ff559d67277108173cd846fe3ae3c67a90
parent67258708b099772c866a0f2725656bcd46d9683b
Duplicate cleanup instructions for jenkins builds in other scripts.

Useful e.g. for cleaning /tmp on node debian-testing.
tools/jenkins/Coverage.sh
tools/jenkins/DynamicAnalysis.sh