stdint: do not rely on -ffreestanding

GCC's default stdint.h only defaults to stdint-gcc.h, which we want to use, when using -ffreestanding. Make our wishes explicit to avoid needing that flag.
2022-08-12 22:43:37 +02:00 · 2022-08-12 22:43:37 +02:00 · 143029a837
parent 31ee6fdbee
commit 143029a837
1 changed files with 2 additions and 0 deletions
--- a/include/stdint.h
+++ b/include/stdint.h
@ -0,0 +1,2 @@
+/* We rely on GCC's default version. */
+#include "stdint-gcc.h"