Re: [PATCH] gcc: vxworks: fix providing stdint.h header

[Olivier Hainque via Gcc-patches]

> On 3 Dec 2021, at 11:27, Rasmus Villemoes <r...@rasmusvillemoes.dk> wrote:
> 
> Reverting my fix and applying this on top of my gcc-11.2 based branch
> seems to work. I haven't used the compiler for building or running any
> modules (don't have the hardware handy), but I've done an 'objdump -d'
> comparison on all the generated host binaries and target libraries with
> no diff.
> 
> So OK by me.


Thanks for checking. Bootstrap and regression tests passed
on a native x86_64-linux host.

Alex, how does that look to you?

Thanks in advance!