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

[Alexandre Oliva]

On Dec  3, 2021, Olivier Hainque <hainque@adacore.com> wrote:

> Alex, how does that look to you?

LGTM, thanks,

-- 
Alexandre Oliva, happy hacker                https://FSFLA.org/blogs/lxo/
   Free Software Activist                       GNU Toolchain Engineer
Disinformation flourishes because many people care deeply about injustice
but very few check the facts.  Ask me about <https://stallmansupport.org>