tree 2b10e23fcbfb322a89fd3905d468d389640dca8d
parent cb903eac3834f3e821c6fb0f59e6880a4c42d44e
author Davide Pesavento <davidepesa@gmail.com> 1547682106 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1547953328 -0500

build: various cleanups

This commit also updates waf to version 2.0.14

Change-Id: I9334f10451589e8141583f85e6cefcf199f68490