vrepl: fix v repl on Windows (#7798)

pull/7804/head
yuyi 2021-01-02 19:17:39 +08:00 committed by GitHub
parent c8caf71282
commit 01e098aa77
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -28,8 +28,8 @@ const (
is_stdin_a_pipe = (is_atty(0) == 0) is_stdin_a_pipe = (is_atty(0) == 0)
) )
fn new_repl() &Repl { fn new_repl() Repl {
return &Repl{ return Repl{
readline: readline.Readline{} readline: readline.Readline{}
modules: ['os', 'time', 'math'] modules: ['os', 'time', 'math']
} }

View File

@ -164,7 +164,7 @@ pub fn launch_tool(is_verbose bool, tool_name string, args []string) {
if is_verbose { if is_verbose {
println('launch_tool running tool command: $tool_command ...') println('launch_tool running tool command: $tool_command ...')
} }
os.execvp(tool_exe, args) os.system(tool_command)
} }
// NB: should_recompile_tool/2 compares unix timestamps that have 1 second resolution // NB: should_recompile_tool/2 compares unix timestamps that have 1 second resolution