diff options
Diffstat (limited to 'thirdparty/openxr/patches/fix-gcc13-stdint.patch')
| -rw-r--r-- | thirdparty/openxr/patches/fix-gcc13-stdint.patch | 12 |
1 files changed, 12 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 |