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;