aboutsummaryrefslogtreecommitdiff
path: root/sbin/veriexec/veriexec.c
diff options
context:
space:
mode:
Diffstat (limited to 'sbin/veriexec/veriexec.c')
-rw-r--r--sbin/veriexec/veriexec.c6
1 files changed, 5 insertions, 1 deletions
diff --git a/sbin/veriexec/veriexec.c b/sbin/veriexec/veriexec.c
index aff514b1cac5..0162eeda5347 100644
--- a/sbin/veriexec/veriexec.c
+++ b/sbin/veriexec/veriexec.c
@@ -148,7 +148,7 @@ main(int argc, char *argv[])
dev_fd = open(_PATH_DEV_VERIEXEC, O_WRONLY, 0);
- while ((c = getopt(argc, argv, "hC:i:xvz:")) != -1) {
+ while ((c = getopt(argc, argv, "hC:i:Sxvz:")) != -1) {
switch (c) {
case 'h':
/* Print usage info */
@@ -174,6 +174,10 @@ main(int argc, char *argv[])
exit((x & state) == 0);
break;
+ case 'S':
+ /* Strictly enforce certificate validity */
+ ve_enforce_validity_set(1);
+ break;
case 'v':
/* Increase the verbosity */