tree 970890dc751d48609ba3f4bbff54a8f0a76b5bca
parent f8bf1b0affa86274a4b0f424e4c8a567ed37ba72
author Davide Pesavento <davide.pesavento@lip6.fr> 1470717837 +0200
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1470888803 -0700

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

Change-Id: I368fe5bbbe3a92a7e82c22f56f6784761d94118d
Refs: #2589