]> andersk Git - splint.git/blobdiff - src/context.c
Added the flag warnsysfiles (default +) if this flag is set splint warns if the user...
[splint.git] / src / context.c
index c925eedd807a2b8e9b0c89c4d2ab1c3da418fb84..5a865257039792275d516abaadcb1f44d55fea3d 100644 (file)
@@ -916,6 +916,10 @@ context_resetAllFlags (void)
    */
   gc.flags[FLG_ORCONSTRAINT] = TRUE;
   gc.flags[FLG_CONSTRAINTLOCATION] = TRUE;
+
+  /*drl 1/18/2002*/
+  gc.flags[FLG_WARNSYSFILES] = TRUE;
+
   /*
   ** On by default for Win32, but not Unix (to support MS/VC++ error message format).
   */
This page took 0.242932 seconds and 4 git commands to generate.