summaryrefslogtreecommitdiffstats
path: root/src/command_line_options.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/command_line_options.cpp')
-rw-r--r--src/command_line_options.cpp4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/command_line_options.cpp b/src/command_line_options.cpp
index 22c5475..818bc06 100644
--- a/src/command_line_options.cpp
+++ b/src/command_line_options.cpp
@@ -20,6 +20,7 @@ CommandLineOptions::CommandLineOptions(int argc, char * const argv[]) {
{"locations", required_argument, NULL, 'l'},
{"pool", required_argument, NULL, 'P'},
{"pvs", no_argument, NULL, 'p'},
+ {"pvs-checked", no_argument, NULL, 'pvck'},
{"runscript", no_argument, NULL, 'S'},
{"size", required_argument, NULL, 's'},
{"tab", required_argument, NULL, 'T'},
@@ -73,6 +74,9 @@ CommandLineOptions::CommandLineOptions(int argc, char * const argv[]) {
case 'p':
options.insert("pvs", "pvs");
break;
+ case 'pvck':
+ options.insert("pvs-checked", "pvs-checked");
+ break;
case 'P':
options.insert("pool", optarg);
break;