X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f4e355aa2115adccf39ccac6293a944beb616bd5..6ee276d286314ab6807ce1af746bbd88c186fddc:/src/llmain.c

diff --git a/src/llmain.c b/src/llmain.c
index 7b8ad6f..343441f 100644
--- a/src/llmain.c
+++ b/src/llmain.c
@@ -823,7 +823,7 @@ int main (int argc, char *argv[])
   */
 
   {
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
     int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
 
     if (nfiles != 0) 
@@ -1258,7 +1258,7 @@ cleanupFiles (void)
     }
   else
     {
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
       int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
       
       if (nfiles != 0) 
@@ -1281,7 +1281,7 @@ llexit (int status)
 {
   DPRINTF (("llexit: %d", status));
 
-# ifdef WIN32
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
   if (status == LLFAILURE) 
     {
       _fcloseall ();