# # # patch "platform.hh" # from [f93ae8041b0ff35c20478f26b7c50543b38081a9] # to [658a728d618dd77aec60c8a3e3bbf794095ab82a] # ============================================================ --- platform.hh f93ae8041b0ff35c20478f26b7c50543b38081a9 +++ platform.hh 658a728d618dd77aec60c8a3e3bbf794095ab82a @@ -35,14 +35,9 @@ // stop "\n"->"\r\n" from breaking automate on Windows void make_io_binary(); -// for pipe creation on Win32 #ifdef WIN32 std::string munge_argv_into_cmdline(const char* const argv[]); #endif - -#ifdef WIN32 -std::string munge_argv_into_cmdline(const char* const argv[]); -#endif // for term selection bool have_smart_terminal(); // this function cannot call W/P/L, because it is called by the tick printing