Summary: |
dev-util/splint with sys-libs/musl - osd.c: In function ‘osd_getPid’: osd.c:519:3: error: unknown type name ‘__pid_t’ |
Product: |
Gentoo Linux
|
Reporter: |
Fredric Johansson <fredric.miscmail> |
Component: |
[OLD] Development | Assignee: |
Jeroen Roovers (RETIRED) <jer> |
Status: |
RESOLVED
FIXED
|
|
|
Severity: |
normal
|
CC: |
musl
|
Priority: |
Normal
|
Keywords: |
PATCH |
Version: |
unspecified | |
|
Hardware: |
All | |
|
OS: |
Linux | |
|
Whiteboard: |
|
Package list:
|
|
Runtime testing required:
|
---
|
Bug Depends on: |
|
|
|
Bug Blocks: |
430702
|
|
|
Attachments: |
Patch changing variable to pid_t
|
Created attachment 404340 [details, diff] Patch changing variable to pid_t Splint fails to compile against sys-libs/musl with: x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I.. -IHeaders -O2 -pipe -fomit-frame-pointer -c `test -f osd.c || echo './'`osd.c osd.c: In function ‘osd_getPid’: osd.c:519:3: error: unknown type name ‘__pid_t’ __pid_t pid = getpid (); Issue is fixed upstream but not included in a release, patch is attached