]> andersk Git - splint.git/blobdiff - src/llmain.c
ADded numabstract types.
[splint.git] / src / llmain.c
index fa9b8fe1ba8f8b574b66069b747715d4354ca483..887ec77e3494f2af4c573b0ceb15f27f2d144cde 100644 (file)
@@ -1143,7 +1143,12 @@ int main (int argc, char *argv[])
          
          if (anylcl)
            {
+             /* Gack: really should figure out how to make configure find snprintf... */
+# ifdef WIN32
+             (void) _snprintf (msg, 256,
+# else
              (void) snprintf (msg, 256,
+# endif
                        "Time distribution (percent): initialize %.2f / lcl %.2f / "
                        "pre-process %.2f / c check %.2f / finalize %.2f \n", 
                        (100.0 * (double) (libtime - before) / ttime),
@@ -1154,7 +1159,11 @@ int main (int argc, char *argv[])
            }
          else
            {
+# ifdef WIN32
+             (void) _snprintf (msg, 256,
+# else
              (void) snprintf (msg, 256,
+# endif
                        "Time distribution (percent): initialize %.2f / "
                        "pre-process %.2f / c check %.2f / finalize %.2f \n", 
                        (100.0 * (double) (libtime - before) / ttime),
This page took 0.027592 seconds and 4 git commands to generate.