On Mar 28, 2026, at 9:56 PM, Alexandre Oliva <[email protected]> wrote: > > stdint-gcc.h isn't necessarily installed by GCC or available from C > libraries. VxWorks ports don't generally have such a header > available. Include stdint.h instead. > > Regstrapped on x86_64-linux-gnu. Also tested with ppc-vx7r2, > ppc64-vx7r2, arm-vx7r2, aarch64-vx7r2, x86_64-vx7r2, and x86-vx7r2. Ok > to install?
Ok.
