# 
# 
# patch "options_list.hh"
#  from [56176e1e95f838efd1cf337fda6f0f2c1452ed4b]
#    to [f60006e4726e78603263187b6e5eb2cab11987b4]
# 
============================================================
--- options_list.hh	56176e1e95f838efd1cf337fda6f0f2c1452ed4b
+++ options_list.hh	f60006e4726e78603263187b6e5eb2cab11987b4
@@ -257,10 +257,6 @@ OPT(bookkeep_only, "bookkeep-only", bool
 }
 #endif
 
-  execute = true;
-}
-#endif
-
 GOPT(ssh_sign, "ssh-sign", std::string, "yes",
      gettext_noop("sign with ssh-agent, 'yes' to sign with ssh if key found, 'no' to force monotone to sign, 'check' to sign with both and compare"))
 #ifdef option_bodies