Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] don't let mark the trace if platform is not traced
authorschnorr <Lucas.Schnorr@imag.fr>
Wed, 13 Jun 2012 16:07:47 +0000 (18:07 +0200)
committerschnorr <Lucas.Schnorr@imag.fr>
Thu, 14 Jun 2012 12:37:29 +0000 (14:37 +0200)
commit5c7f683c8e7279895f963bfb41d82185b5a0e405
tree51eb09c0f5c07757a032bae0c7099d53e8d5db75
parent086744392c732c53d988840e811ae5eaac450860
[trace] don't let mark the trace if platform is not traced
src/instr/instr_interface.c