diff options
| author |   Benoît Ganne <bganne@cisco.com> | 2019-12-02 17:42:56 +0100 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2019-12-17 18:09:48 +0000 |
| commit | 497dd89432e96d0daba90db9468e630cb469b01a (patch) | |
| tree | 56a5a678cdc13d5d6c4bf08925e459c002685628 /extras/vagrant/.gitignore | |
| parent | dea0b23fa73fe3d53b8f3b004f7b8a2a8456d7f7 (diff) | |
misc: address sanitizer: do not instrument dlmalloc internals
Type: fix
Change-Id: I2b8273666db864d80012c39623ae866ac3527426
Signed-off-by: Benoît Ganne <bganne@cisco.com>
Diffstat (limited to 'extras/vagrant/.gitignore')
0 files changed, 0 insertions, 0 deletions