diff options
author | Dennis van der Schagt | 2023-07-07 20:09:23 +0200 |
---|---|---|
committer | Dennis van der Schagt | 2023-07-07 20:09:23 +0200 |
commit | e25d744bf89c198bc018122e1abdcaa9f2b38480 (patch) | |
tree | cb72c458f49554327f5171e68764142889977028 /001-gcc-13-1.patch | |
parent | b498025e94151c034203692da48f7a93ccfbf3dd (diff) | |
download | aur-e25d744bf89c198bc018122e1abdcaa9f2b38480.tar.gz |
Update to v2.11.0
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> - |