v.pref: prevent overriding backend (fix #21758) (#24526)

This commit is contained in:
Gonzalo Chumillas 2025-05-20 07:26:12 +01:00 committed by GitHub
parent ddfedc79ae
commit 6be298d208
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1052,8 +1052,10 @@ pub fn parse_args_and_show_errors(known_external_commands []string, args []strin
if res.os != .wasm32_emscripten {
if res.out_name.ends_with('.js') {
res.backend = .js_node
res.output_cross_c = true
if !res.build_options.any(it.starts_with('-backend') || it.starts_with('b')) {
res.backend = .js_node
res.output_cross_c = true
}
}
}