Change preprocessedhost filename

This commit is contained in:
Richard Feldman 2022-11-18 23:54:21 -05:00
parent 7f617c87bf
commit 571844fc27
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
5 changed files with 18 additions and 9 deletions

View file

@ -77,7 +77,7 @@ pub fn build_and_preprocess_host(
generate_dynamic_lib(target, &stub_dll_symbols, &stub_lib);
rebuild_host(opt_level, target, host_input_path, Some(&stub_lib));
let metadata = host_input_path.with_file_name("metadata");
// let prehost = host_input_path.with_file_name("preprocessedhost");
// let prehost = host_input_path.with_file_name(preprocessed_host_filename(target).unwrap());
preprocess(
target,