diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/src/bin/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/src/bin/main.rs b/tools/src/bin/main.rs index 125930127..f4f6e82ae 100644 --- a/tools/src/bin/main.rs +++ b/tools/src/bin/main.rs | |||
@@ -55,6 +55,7 @@ fn update(path: &Path, contents: &str, verify: bool) -> Result<()> { | |||
55 | if verify { | 55 | if verify { |
56 | bail!("`{}` is not up-to-date", path.display()); | 56 | bail!("`{}` is not up-to-date", path.display()); |
57 | } | 57 | } |
58 | eprintln!("updating {}", path.display()); | ||
58 | fs::write(path, contents)?; | 59 | fs::write(path, contents)?; |
59 | Ok(()) | 60 | Ok(()) |
60 | } | 61 | } |