tree 06446c4d1c7bf928747b41427f630e18a5fa32b2
parent 352fc8218526b01ebae3c78d1f8037993c06c6b5
author Davide Pesavento <davide.pesavento@lip6.fr> 1470794116 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1470794116 +0000

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

Change-Id: I769be2650c0c174b9e12e0832a5d2eea9bcad2d6
Refs: #2589