Merge pull request #566 from mkroening/hermit-careful

mkroening · web-flow · commit 48d631a7fb15 · 2024-04-19T10:24:31.000Z
feat(build.rs): watch HERMIT_CAREFUL
diff --git a/hermit/build.rs b/hermit/build.rs
@@ -123,6 +123,7 @@ impl KernelSrc {
 
 		// HERMIT_LOG_LEVEL_FILTER sets the log level filter at compile time
 		println!("cargo:rerun-if-env-changed=HERMIT_LOG_LEVEL_FILTER");
+		println!("cargo:rerun-if-env-changed=HERMIT_CAREFUL");
 	}
 
 	fn rerun_if_changed_cargo(&self, cargo_toml: &Path) {

Original file line number	Diff line number	Diff line change
`@@ -123,6 +123,7 @@ impl KernelSrc {`
`123`	`123`
`124`	`124`	`// HERMIT_LOG_LEVEL_FILTER sets the log level filter at compile time`
`125`	`125`	`println!("cargo:rerun-if-env-changed=HERMIT_LOG_LEVEL_FILTER");`
	`126`	`+ println!("cargo:rerun-if-env-changed=HERMIT_CAREFUL");`
`126`	`127`	`}`
`127`	`128`
`128`	`129`	`fn rerun_if_changed_cargo(&self, cargo_toml: &Path) {`