From bfa4d704cc9a2cc26b9914bc1032f5dfa9c26ab1 Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Tue, 4 Sep 2018 23:28:31 -0700
Subject: [PATCH] modules/console: No verify on these cmds because they're
 debug and

perspectives complicates that and defeats the purpose.
---
 modules/console.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/console.cc b/modules/console.cc
index fc21f31e0..6494fd58d 100644
--- a/modules/console.cc
+++ b/modules/console.cc
@@ -7089,6 +7089,7 @@ console_cmd__fed__sync(opt &out, const string_view &line)
 	vmopts.prev_check_exists = false;
 	vmopts.head_must_exist = false;
 	vmopts.history = false;
+	vmopts.verify = false;
 	vmopts.notify = false;
 	vmopts.debuglog_accept = true;
 	vmopts.nothrows = -1;
@@ -7181,6 +7182,7 @@ console_cmd__fed__state(opt &out, const string_view &line)
 	vmopts.non_conform.set(m::event::conforms::MISSING_MEMBERSHIP);
 	vmopts.prev_check_exists = false;
 	vmopts.head_must_exist = false;
+	vmopts.verify = false;
 	vmopts.history = false;
 	vmopts.notify = false;
 	m::vm::eval eval
@@ -7337,6 +7339,7 @@ console_cmd__fed__backfill(opt &out, const string_view &line)
 	vmopts.prev_check_exists = false;
 	vmopts.head_must_exist = false;
 	vmopts.history = false;
+	vmopts.verify = false;
 	vmopts.notify = false;
 	vmopts.head = false;
 	vmopts.refs = true;