Added the flag warnsysfiles (default +) if this flag is set splint warns if the user...

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index bdcf16242c37382bafd5f023f7e9841e08b4edcc..a710d67d8ba543875672efa2a3191c769f99c633 100644 (file)
--- 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",