tree 265fbfab07ad35e47988d3e964b2cde61ff2126d
parent 0df0e1c5b07a733de9e5ecc95f207a61e4f7f1f7
author Davide Pesavento <davidepesa@gmail.com> 1691344892 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1691344892 -0400

build: decrease level of debug information produced by default

Refs: #5279
Change-Id: Ie73909de8c51300abb00c873af722d730e6b70e1