Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use "exec" so that failures are correclty reported upstream.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 7 May 2019 21:46:59 +0000 (23:46 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 7 May 2019 21:46:59 +0000 (23:46 +0200)
commit5096f6930d4823cfc3f2569e7c97bce9fb42d4e1
tree8a0d9444d7bc1d663ab2d5c939c7199529e06ce8
parent42ec7509c27a32900f26d644d450e2ca367fee4e
Use "exec" so that failures are correclty reported upstream.
tools/cmake/scripts/my_valgrind.pl