diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-06-07 11:36:55 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-06-07 11:36:55 +0200 |
| commit | 10676e78e33c9f5dd2e2957ecddcfd6699173ea7 (patch) | |
| tree | 1127672e7c14c8a98eaac8c57ce65dabd0c524ad /thirdparty/openxr | |
| parent | 828ec2c5d005b6499c7c4c88beaf81767d05614b (diff) | |
| download | redot-engine-10676e78e33c9f5dd2e2957ecddcfd6699173ea7.tar.gz | |
Add missing stdint.h includes for GCC 13+
Fixes #77927.
Diffstat (limited to 'thirdparty/openxr')
| -rw-r--r-- | thirdparty/openxr/patches/fix-gcc13-stdint.patch | 12 | ||||
| -rw-r--r-- | thirdparty/openxr/src/common/platform_utils.hpp | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/thirdparty/openxr/patches/fix-gcc13-stdint.patch b/thirdparty/openxr/patches/fix-gcc13-stdint.patch new file mode 100644 index 0000000000..9e659eb210 --- /dev/null +++ b/thirdparty/openxr/patches/fix-gcc13-stdint.patch @@ -0,0 +1,12 @@ +diff --git a/thirdparty/openxr/src/common/platform_utils.hpp b/thirdparty/openxr/src/common/platform_utils.hpp +index 85d5cdab10..2d870cfea7 100644 +--- a/thirdparty/openxr/src/common/platform_utils.hpp ++++ b/thirdparty/openxr/src/common/platform_utils.hpp +@@ -11,6 +11,7 @@ + + #include "xr_dependencies.h" + #include <string> ++#include <stdint.h> + #include <stdlib.h> + + // OpenXR paths and registry key locations diff --git a/thirdparty/openxr/src/common/platform_utils.hpp b/thirdparty/openxr/src/common/platform_utils.hpp index 85d5cdab10..2d870cfea7 100644 --- a/thirdparty/openxr/src/common/platform_utils.hpp +++ b/thirdparty/openxr/src/common/platform_utils.hpp @@ -11,6 +11,7 @@ #include "xr_dependencies.h" #include <string> +#include <stdint.h> #include <stdlib.h> // OpenXR paths and registry key locations |