tree a9f8a33484b7d37a6e3f53bf3f154c0578a13472
parent 252b70708d2f38978195fe762d487f1c22712714
author Davide Pesavento <davidepesa@gmail.com> 1550704762 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1550704762 -0500

build: do not look for unneeded libraries

Also a few cleanups in wscripts

Change-Id: Ia5b470d4adcf5697d8c0a31ba1204e5355951308