Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "disable temporarily mc for sanitizers"
authordegomme <augustin.degomme@unibas.ch>
Sat, 25 Jun 2016 23:27:07 +0000 (01:27 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Sat, 25 Jun 2016 23:27:07 +0000 (01:27 +0200)
commit2a290b3563188efae1d4f9be7c08d6df8152f6ad
treea98c4bcd969a8d286654cbea70273b1ba76c77d8
parent67920e91ce04a7a17b788cf8356cb312cb93c45a
Revert "disable temporarily mc for sanitizers"

This reverts commit f87113c9c48e2c484ae39701fcf6bb2dc869782c.
tools/jenkins/Sanitizers.sh