]> andersk Git - splint.git/blobdiff - src/rcfiles.c
Fixed pre-processing bug reported by Adam Clarke. Moved marking point
[splint.git] / src / rcfiles.c
index b234c4455c669078589fd0decbae557f92368eac..0ff39cd46d7bba8484d4322fbc3b7c76f126015c 100644 (file)
@@ -57,7 +57,7 @@ bool rcfiles_read (cstring fname, cstringSList *passThroughArgs, bool report)
          fileloc fc = g_currentloc;
          g_currentloc = fileloc_createRc (fname);
 
-         displayScan (message ("< reading options from %q >", 
+         displayScan (message ("reading options from %q", 
                                fileloc_outputFilename (g_currentloc)));
          
          rcfiles_loadFile (innerf, passThroughArgs);
@@ -89,7 +89,7 @@ static void rcfiles_loadFile (/*:open:*/ FILE *rcfile, cstringSList *passThrough
   cstringList args = cstringList_new ();
 
   DPRINTF (("Loading rc file..."));
-
+  
   s = os;
 
   while (reader_readLine (rcfile, s, MAX_LINE_LENGTH) != NULL)
This page took 0.216685 seconds and 4 git commands to generate.