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, 0 insertions, 12 deletions
diff --git a/thirdparty/openxr/patches/fix-gcc13-stdint.patch b/thirdparty/openxr/patches/fix-gcc13-stdint.patch deleted file mode 100644 index 9e659eb210..0000000000 --- a/thirdparty/openxr/patches/fix-gcc13-stdint.patch +++ /dev/null @@ -1,12 +0,0 @@ -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 |