tests: fix ci error in vtest-fixed (fix #7827) (#7830)

pull/7844/head
yuyi 2021-01-03 23:38:28 +08:00 committed by GitHub
parent 22e54e6703
commit 443bf44031
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

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.system(tool_command) exit(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