]> andersk Git - splint.git/commitdiff
Fixed Win32 files closed bug.
authorevans1629 <evans1629>
Thu, 18 Sep 2003 13:50:11 +0000 (13:50 +0000)
committerevans1629 <evans1629>
Thu, 18 Sep 2003 13:50:11 +0000 (13:50 +0000)
src/llmain.c

index 343441f64c0148d009b25581b2457477aa6b49a1..e2b29b591d464f87896ed3579442684c3a09c451 100644 (file)
@@ -822,6 +822,8 @@ int main (int argc, char *argv[])
   **  will be <tmpprefix>.<file>.c)
   */
 
+  /* Why was this here?  It is always a bug... */
+# if 0
   {
 # if defined (WIN32) || defined (OS2) && defined (__IBMC__)
     int nfiles = /*@-unrecog@*/ _fcloseall (); /*@=unrecog@*/
@@ -832,6 +834,7 @@ int main (int argc, char *argv[])
       }
 # endif
   }
+# endif
 
   DPRINTF (("Initializing..."));
 
This page took 0.051568 seconds and 5 git commands to generate.