summaryrefslogtreecommitdiffstats
path: root/build.rs
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2020-02-09 20:46:39 +0200
committerManos Pitsidianakis <el13635@mail.ntua.gr>2020-02-09 20:46:39 +0200
commita496de27945e4be9c4dc2244343beb63690935f9 (patch)
treef78875cff9215eaad2de5b98828d63da97dcfe09 /build.rs
parent0ebad39b505820aea1ab2c52874f0fee2b8cdb0e (diff)
build.rs: add rerun-if-changed
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.rs b/build.rs
index 632aa83b..c027a271 100644
--- a/build.rs
+++ b/build.rs
@@ -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)"];