diff options
Diffstat (limited to 'tvix/store')
| -rw-r--r-- | tvix/store/build.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tvix/store/build.rs b/tvix/store/build.rs index cfeda59698a0..809fa29578b5 100644 --- a/tvix/store/build.rs +++ b/tvix/store/build.rs @@ -20,6 +20,7 @@ fn main() -> Result<()> { builder .build_server(true) .build_client(true) + .emit_rerun_if_changed(false) .compile_with_config( config, &[ @@ -33,6 +34,5 @@ fn main() -> Result<()> { Some(proto_root) => proto_root.to_str().unwrap().to_owned(), None => "../..".to_string(), }], - )?; - Ok(()) + ) } |