Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
disable mc for sanitizers to have a cleaner output
authorAugustin Degomme <augustin.degomme@unibas.ch>
Mon, 19 Dec 2016 18:01:31 +0000 (19:01 +0100)
committerAugustin Degomme <augustin.degomme@unibas.ch>
Mon, 19 Dec 2016 18:01:31 +0000 (19:01 +0100)
commitcac541fb42e4fccd3048f29ecfa4e2f12bd3abaf
treef66a2ad9b19474116d6bedeaabb6f9e5800c0920
parent396aba1cbeea2978b413b640014a023a9051708d
disable mc for sanitizers to have a cleaner output
tools/jenkins/Sanitizers.sh