*** empty log message ***

[splint.git] / src / osd.c

diff --git a/src/osd.c b/src/osd.c
index 4b1635634365664cab37682ffda827a44eb6484a..edf57797d6673b9259a8486c58532ca0eebff701 100644 (file)
--- a/src/osd.c
+++ b/src/osd.c
@@ -45,6 +45,14 @@
 # include <sys/stat.h>
 /* Fix suggested by Lars Rasmussen */
 # include <errno.h>
+
+/* POSIX platforms should defined getpid in unistd.h */
+# if defined (WIN32) || (defined(OS2) && defined(__IBMC__))
+# include <process.h>
+# else
+# include <unistd.h>
+# endif
+
 /*@end@*/
 /*@=allmacros*/
 # include "lclintMacros.nf"
@@ -445,6 +453,7 @@ int osd_system (cstring cmd)
 # endif
 
 # ifndef unlink
+/* This should be defined by unistd.h */
 /*@-redecl@*/
 extern /*@external@*/ int unlink (const char *) /*@modifies fileSystem@*/ ;
 /*@=redecl@*/
@@ -466,12 +475,6 @@ int osd_unlink (cstring fname)
   return res;
 }
 
-# if defined (WIN32) || (defined(OS2) && defined(__IBMC__))
-# include <process.h>
-# elif defined OS2
-# include <unistd.h>
-# endif
-
 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
 int
 # else