#
#
# patch "cmd_automate.cc"
#  from [2b03c50b78ed146bc02290e63dc7b8de3172e7ce]
#    to [fff6e993b4a0f6762a87d568916ece54257886d5]
#
============================================================
--- cmd_automate.cc	2b03c50b78ed146bc02290e63dc7b8de3172e7ce
+++ cmd_automate.cc	fff6e993b4a0f6762a87d568916ece54257886d5
@@ -450,7 +450,7 @@ CMD_AUTOMATE(stdio, "",
       catch (option::option_error & e)
         {
           os.set_err(1);
-          global_sanity.maybe_write_to_out_of_band_handler('e', f.what());
+          global_sanity.maybe_write_to_out_of_band_handler('e', e.what());
           os.end_cmd();
           ar.reset();
           continue;