diff options
Diffstat (limited to 'dev-embedded/picotool/files/picotool-1.1.2-musl.patch')
| -rw-r--r-- | dev-embedded/picotool/files/picotool-1.1.2-musl.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/dev-embedded/picotool/files/picotool-1.1.2-musl.patch b/dev-embedded/picotool/files/picotool-1.1.2-musl.patch new file mode 100644 index 000000000000..77eeda5b6b9c --- /dev/null +++ b/dev-embedded/picotool/files/picotool-1.1.2-musl.patch @@ -0,0 +1,17 @@ +https://bugs.gentoo.org/867283 +https://wiki.gentoo.org/wiki/Musl_porting_notes#cdefs.h:_No_such_file_or_directory +--- a/pico-sdk/src/host/pico_platform/include/pico/platform.h ++++ b/pico-sdk/src/host/pico_platform/include/pico/platform.h +@@ -13,7 +13,11 @@ + + #ifdef __unix__ + +-#include <sys/cdefs.h> ++#if defined __has_include ++# if __has_include (<sys/cdefs.h>) ++# include <sys/cdefs.h> ++# endif ++#endif + + #endif + |