tree d1ee4ac02a19c537efc3709cea70af1c51b0e4b3
parent 244feac1d131c5de90aac703b1d8efc862908f17
author Davide Pesavento <davide.pesavento@lip6.fr> 1471167249 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1471167249 +0200

build: add waf-tool to simplify building with AddressSanitizer & friends

Change-Id: If36e52f5e49d94ad5846165c50504d06d7d3c4d0
Refs: #2589