Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
disable temporarily mc for sanitizers
authordegomme <augustin.degomme@unibas.ch>
Sat, 25 Jun 2016 15:31:54 +0000 (17:31 +0200)
committerdegomme <augustin.degomme@unibas.ch>
Sat, 25 Jun 2016 15:31:54 +0000 (17:31 +0200)
commitf87113c9c48e2c484ae39701fcf6bb2dc869782c
tree17979a723c3dd914373fb463edeaba473ab92e86
parent97ddc43f74dcd3a4986918090ae306489b736c08
disable temporarily mc for sanitizers
they trigger plenty of "Missing debug info for /usr/lib/x86_64-linux-gnu/libasan.so.2.0.0"
even when the debug version is actually installled ..
tools/jenkins/Sanitizers.sh