summaryrefslogtreecommitdiff
path: root/dev-util/splint/files/splint-3.1.2-musl.patch
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-util/splint/files/splint-3.1.2-musl.patch
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-util/splint/files/splint-3.1.2-musl.patch')
-rw-r--r--dev-util/splint/files/splint-3.1.2-musl.patch11
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-util/splint/files/splint-3.1.2-musl.patch b/dev-util/splint/files/splint-3.1.2-musl.patch
new file mode 100644
index 000000000000..bf8c770b2ef5
--- /dev/null
+++ b/dev-util/splint/files/splint-3.1.2-musl.patch
@@ -0,0 +1,11 @@
+--- a/src/osd.c
++++ b/src/osd.c
+@@ -516,7 +516,7 @@
+ # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
+ int pid = _getpid ();
+ # else
+- __pid_t pid = getpid ();
++ pid_t pid = getpid ();
+ # endif
+
+ return (int) pid;