On Thu, Jan 28, 2021 at 07:11:15PM +0100, Tim Düsterhus wrote: > During dinner I had an idea how to fix this without introducing much > additional complexity, I simply modify the Makefile in the Coverity > workflow before starting the Coverity check. For the DEBUG variable this > is fairly clean.
Yep, good idea. And that's an area we've not changed often over time so it should not require much maintenance. Let's wait for Ilya's test before claiming victory ;-) Cheers, Willy
