splint on OS X (patch)

[York Block <yblock%gmail.com@localhost>]

Hi all,

I have pkgsrc-current on my mac. Splint wasn't building for me, so I
added the following patch:

$NetBSD$

--- src/osd.c.orig      2007-07-13 22:18:20.000000000 +0000
+++ src/osd.c
@@ -515,6 +515,8 @@ osd_getPid ()
 {
 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
   int pid = _getpid ();
+# elif defined (_PID_T)
+  pid_t pid = getpid ();
 # else
   __pid_t pid = getpid ();
 # endif


So my question is to whom should I submitted this patch?

Thanks in advance,

York