From 5d79f0e83be5a6c48f137932870d462a33e53968 Mon Sep 17 00:00:00 2001 From: Jason Volk Date: Mon, 11 Jun 2018 23:51:55 -0700 Subject: [PATCH] modules/console: Checkin various cmds' accumulated vmopts; run head reset after sync cmd. --- modules/console.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/console.cc b/modules/console.cc index 20060c4b5..70fa356b0 100644 --- a/modules/console.cc +++ b/modules/console.cc @@ -6856,6 +6856,7 @@ console_cmd__fed__event(opt &out, const string_view &line) vmopts.head_must_exist = false; vmopts.history = false; vmopts.notify = false; + vmopts.verify = false; m::vm::eval eval { vmopts