tree 8f633fbe2040f9d8a1a21a90b77c6fbcfcaac454
parent 502c4c3bd630db275b1fac5feb2f621e5bf18d54
author Davide Pesavento <davidepesa@gmail.com> 1691363931 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1691363931 -0400

build: decrease level of debug information produced by default

Refs: #5279
Change-Id: I5c96d3e58d507c5ab01e0ae79348be15e078ac9a