tree 846caa16ebfd9b6fa351404d7cc5cf0f9d8a4e17
parent 906dde5ad1e1146bfb167095cd230c9300183136
author Davide Pesavento <davidepesa@gmail.com> 1708920626 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1708926605 -0500

build: rename HAVE_TESTS to WITH_TESTS

And rename a few waf targets for clarity and consistency

Change-Id: I7efad48a4edcbc311dba7981791249a4e0cc5678