tree e4c2cb939a3134199d4d081a24a251c5c4513282
parent d4689c8f805c2c0ba38fab3e44519c55316c1ac9
author Davide Pesavento <davidepesa@gmail.com> 1635208504 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1635208504 -0400

tools: improve error handling

Change-Id: Ib0751f58bf774b6128a502f9261849199d71906b