Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] new option to let users disable the destruction of platform containers
authorLucas Schnorr <Lucas.Schnorr@imag.fr>
Thu, 16 Jun 2011 10:51:20 +0000 (12:51 +0200)
committerLucas Schnorr <Lucas.Schnorr@imag.fr>
Thu, 16 Jun 2011 10:51:20 +0000 (12:51 +0200)
commit34f6f432728b9a9882a6801da79aafa751553666
tree560b708b2a9254462c808190c82eb12994eb6bea
parent93480031ad7a8c5b81c7a5ee3a5323d0cf5add32
[trace] new option to let users disable the destruction of platform containers
src/instr/instr_config.c
src/instr/instr_private.h