From 143029a837cd2bfdcfc40b8de1eb589289fce9c8 Mon Sep 17 00:00:00 2001 From: Lephenixnoir Date: Fri, 12 Aug 2022 22:43:37 +0200 Subject: [PATCH] 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. --- include/stdint.h | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 include/stdint.h diff --git a/include/stdint.h b/include/stdint.h new file mode 100644 index 0000000..60579d3 --- /dev/null +++ b/include/stdint.h @@ -0,0 +1,2 @@ +/* We rely on GCC's default version. */ +#include "stdint-gcc.h"