util: fix the potential error of js_builder command (#13170)

pull/13172/head
yuyi 2022-01-14 21:49:24 +08:00 committed by GitHub
parent 6168a4d3a2
commit 4660220f4c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -178,7 +178,7 @@ pub fn launch_tool(is_verbose bool, tool_name string, args []string) {
exit(os.system('"$tool_exe" $tool_args'))
} $else $if js {
// no way to implement os.execvp in JS backend
exit(os.system('$tool_exe $tool_args'))
exit(os.system('"$tool_exe" $tool_args'))
} $else {
os.execvp(tool_exe, args) or { panic(err) }
}