tree ff5557aa7d1fafdd9a6747b10212443c413595c4
parent 95afc6d8a426c5c407ab3da0d6b29fc8044bb587
author Davide Pesavento <davidepesa@gmail.com> 1691440535 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1691440535 -0400

build: decrease level of debug information produced by default

Refs: #5279
Change-Id: I537ff2a0a2e411279922823ae46cb7fee6586670