tree d1cf1177037b0b211e28d2d334123256ede93aad
parent 31be3f6412a1e865534481a94f671cc863ab7cc3
author Davide Pesavento <davidepesa@gmail.com> 1548394846 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1548401934 -0500

build: various updates and cleanups

Change-Id: Ic01420fc1d2f5b61b1b81c6e1d99c1921395162a