diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-02-09 20:46:39 +0200 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-02-09 20:46:39 +0200 |
commit | a496de27945e4be9c4dc2244343beb63690935f9 (patch) | |
tree | f78875cff9215eaad2de5b98828d63da97dcfe09 /build.rs | |
parent | 0ebad39b505820aea1ab2c52874f0fee2b8cdb0e (diff) |
build.rs: add rerun-if-changed
Diffstat (limited to 'build.rs')
-rw-r--r-- | build.rs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ */ fn main() { + println!("cargo:rerun-if-changed=build.rs"); #[cfg(feature = "cli-docs")] { const MANDOC_OPTS: &[&'static str] = &["-T", "utf8", "-I", "os=Generated by mandoc(1)"]; |