On 21 Jan 2010, mail_ben_schm...@yahoo.com.au wrote: > To get splint 3.1.2 to compile on Mac OS X I needed the following change:
$ cvs log -rHEAD osd.c RCS file: /cvsroot/splint/splint/src/osd.c,v Working file: osd.c head: 1.44 branch: locks: strict access list: symbolic names: [snip] keyword substitution: kv total revisions: 46; selected revisions: 1 description: ---------------------------- revision 1.44 date: 2008/08/07 02:51:59; author: bpringlemeir; state: Exp; lines: +2 -2 Allow compile on apple platforms. osd.c Use pid_t instead of __pid_t as per open group. ============================================================================= _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
