tree 62327d7fbd4db49d336501dba91047039839bbe2
parent e2099618177da4c17aaaab8cb6e8cdc88b6ab729
author Davide Pesavento <davidepesa@gmail.com> 1550564449 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1550606776 -0500

build: do not look for unneeded libraries

Change-Id: Ifcf45442b947bf23355e270f1f9bda298792d4a2