tree 6b27b683d888688bde227be58a67b43f58bee006
parent 84348a28512f597021a763efd59689b2c09fd943
author Davide Pesavento <davidepesa@gmail.com> 1694716121 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1694716121 -0400

build: add `--without-tools` configure option

Change-Id: I0f45b6416fd4f5ebf591c11dff32f5bd51e19aa4