[PATCH] Introduce DWARF_VERSION_DEFAULT (and redefine for VxWorks)

[Olivier Hainque]

> On 6 Oct 2022, at 14:15, Richard Biener <richard.guenther@gmail.com> wrote:
> 
>> Is this ok to commit?
> 
> I think this is reasonable, thus OK.

Great, thanks Richard :-)