tree f585ce5243fa039724e5966c820ad1605987e680
parent 80b50fbd1e3dd7d6e66ce43fb6ef477edc04499d
author Davide Pesavento <davidepesa@gmail.com> 1633589583 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1633589583 -0400

build: make examples optional

Change-Id: Ia57725bbe0e921c145f153c5395ed60436c8782a