X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e1d93bd74a6adb4bf68636fbbf9a706fad81f97d..e55c0c6d7c410e1353ae1042689634c2990076f0:/src/flags.def

diff --git a/src/flags.def b/src/flags.def
index bdcf162..a710d67 100644
--- a/src/flags.def
+++ b/src/flags.def
@@ -4086,6 +4086,13 @@ static flaglist flags =
     "show file names are they are processed",
     NULL, 0, 0
   },
+  {
+    FK_DISPLAY, FK_FILES, plainFlag,
+    "warnsysfiles",
+    FLG_WARNSYSFILES,
+    "Splint has been run on a system file, by default no errors are reported for system files.  Use +systemdirerrors if you want splint to report errors in system files.  A file is considered a system file if it is in a system directory or a subdirectory of a system directory.  The sysdirs flag can be used to control the directories treated as system directories.",
+    NULL, 0, 0
+  },
   {
     FK_DISPLAY, FK_NONE, globalFlag,
     "stats",