diff options
| -rw-r--r-- | tools/dcpverify.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/dcpverify.cc b/tools/dcpverify.cc index b9b3c997..5847903f 100644 --- a/tools/dcpverify.cc +++ b/tools/dcpverify.cc @@ -85,6 +85,8 @@ main (int argc, char* argv[]) if (c == -1) { break; + } else if (c == '?' || c == ':') { + exit(EXIT_FAILURE); } switch (c) { |