[splint-discuss] Patch for splint to compile on mac os x

[Roland Illig]

Marian Such schrieb:
> # diff -u src/osd.c src/osd_new.c 
> --- src/osd.c   2007-07-14 00:18:20.000000000 +0200
> +++ src/osd_new.c       2008-08-06 21:26:09.000000000 +0200
> @@ -515,6 +515,8 @@
>  {
>  # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
>    int pid = _getpid ();
> +# elif defined (__APPLE__)
> +  __darwin_pid_t pid = getpid ();

Why do you need __darwin_pid_t here? Shouldn't just pid_t suffice?

Roland