Added code to support CSV output (-csv flag).

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 28976cc523f9d0470570c3ebf09073d51d551f1a..dbab4dee1617d18e98cab969586f5edaeeb61f9d 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -54,7 +54,7 @@
 /*@notfunction@*/
 # define globalExtraArgFlag     FALSE, FALSE, TRUE,  FALSE, ARG_SPECIAL
 /*@notfunction@*/
-# define globalFileFlag         FALSE, FALSE, TRUE,  FALSE, ARG_FILE
+# define globalFileFlag         FALSE, TRUE,  TRUE,  FALSE, ARG_FILE
 /*@=namechecks@*/
 
 /*
@@ -3277,6 +3277,20 @@ static flaglist flags =
     "show location information for load files",
     NULL, 0, 0
   },
+  {
+    FK_FORMAT, FK_DISPLAY, globalFileFlag,
+    "csv",
+    FLG_CSV,
+    "produce comma-separated values (CSV) warnings output file",
+    NULL, 0, 0
+  },
+  {
+    FK_FORMAT, FK_DISPLAY, plainFlag,
+    "csvoverwrite",
+    FLG_CSVOVERWRITE,
+    "overwrite exisiting CVS output file",
+    NULL, 0, 0
+  },
   {
     FK_FORMAT, FK_DISPLAY, plainFlag,
     "parenfileformat",