Skip to content

Commit 02042d5

Browse files
chore(exec-harness): rerun exec harness build if instrument hooks sources change
1 parent 4c8555c commit 02042d5

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

crates/exec-harness/build.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -62,6 +62,7 @@ fn main() {
6262
core_c: instrument_hooks_dir.join("dist/core.c"),
6363
includes_dir: instrument_hooks_dir.join("includes"),
6464
};
65+
println!("cargo:rerun-if-changed={}", paths.core_c.display());
6566
paths.check_sources_exist();
6667
build_shared_library(&paths, &preload_constants);
6768
}

0 commit comments

Comments
 (0)