tree 9a30ec5bf63d11d45f2de1dfddfdb2af4143cf32
parent 9a28c3f75256fc526f5c3878c312af447e808c66
author Davide Pesavento <davidepesa@gmail.com> 1654366045 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1655152211 -0400

build: make precompiled headers more useful

This can reduce the compilation time of a release
build (without tests) by more than 40%

Refs: #5212
Change-Id: I977aff0c0c7becbfee8a8b55605b81d0c014829b