Skip to content

Commit a14568b

Browse files
committed
Update code type
1 parent 648b91a commit a14568b

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

thunk-rs/src/lib.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -21,17 +21,17 @@ pub struct Thunk {
2121
impl Thunk {
2222
/// Thunk the Rust program. Call it in build script.
2323
pub fn thunk(&self) {
24-
println!("cargo::warning=VC_LTL Enabled: {}", self.vc_ltl_path);
24+
println!("cargo::warning=VC-LTL5 Enabled: {}", self.vc_ltl_path);
2525
println!("cargo::rustc-link-search={}", self.vc_ltl_path);
2626

2727
if let Some(yy_thunks_obj) = &self.yy_thunks_obj {
28-
println!("cargo:warning=YY-Thunks Enabled: {}", yy_thunks_obj);
29-
println!("cargo:rustc-link-arg=/SUBSYSTEM:{}", self.subsystem);
28+
println!("cargo::warning=YY-Thunks Enabled: {}", yy_thunks_obj);
29+
println!("cargo::rustc-link-arg=/SUBSYSTEM:{}", self.subsystem);
3030
if self.subsystem.contains("WINDOWS") {
3131
// https://github.com/rust-lang/rust/blob/bf8801d36dfd28de7d3b0279b53d38593acdfd14/compiler/rustc_codegen_ssa/src/back/linker.rs#L1011
32-
println!("cargo:rustc-link-arg=/ENTRY:mainCRTStartup");
32+
println!("cargo::rustc-link-arg=/ENTRY:mainCRTStartup");
3333
}
34-
println!("cargo:rustc-link-arg={}", yy_thunks_obj);
34+
println!("cargo::rustc-link-arg={}", yy_thunks_obj);
3535
}
3636
}
3737
}

0 commit comments

Comments
 (0)