diff options
Diffstat (limited to '001-gcc-13-1.patch')
| -rw-r--r-- | 001-gcc-13-1.patch | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/001-gcc-13-1.patch b/001-gcc-13-1.patch deleted file mode 100644 index 1f6a41dbb5c0..000000000000 --- a/001-gcc-13-1.patch +++ /dev/null @@ -1,27 +0,0 @@ -diff --git a/include/fastdds/rtps/transport/TransportDescriptorInterface.h b/include/fastdds/rtps/transport/TransportDescriptorInterface.h -index 149707736..30184d71a 100644 ---- a/include/fastdds/rtps/transport/TransportDescriptorInterface.h -+++ b/include/fastdds/rtps/transport/TransportDescriptorInterface.h -@@ -17,7 +17,7 @@ - - #include <fastrtps/fastrtps_dll.h> - --#ifdef _WIN32 -+#if defined(_WIN32) || ((__GNUC__ >= 13) && (__GNUC_MINOR__ >= 1)) - #include <cstdint> - #endif // ifdef _WIN32 - #include <vector> -diff --git a/include/fastrtps/types/TypeNamesGenerator.h b/include/fastrtps/types/TypeNamesGenerator.h -index a8f45e013..152933316 100644 ---- a/include/fastrtps/types/TypeNamesGenerator.h -+++ b/include/fastrtps/types/TypeNamesGenerator.h -@@ -3,6 +3,9 @@ - - #include <fastrtps/fastrtps_dll.h> - -+#if defined(_WIN32) || ((__GNUC__ >= 13) && (__GNUC_MINOR__ >= 1)) -+#include <cstdint> -+#endif // ifdef _WIN32 - #include <string> - #include <vector> - |