From: Skgland <bb-github@t-online.de>
Date: Mon, 10 Jan 2022 18:59:56 +0000 (+0100)
Subject: only rerun build.rs when something in src/ has changed
X-Git-Tag: v0.9.0^2~74^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=590d80268e06887feb468d533e0dd4df0e0a178d;p=scryer-prolog.git

only rerun build.rs when something in src/ has changed

by default (when no rerun-if is emitted) build.rs is rerun if something in the package changes
---

diff --git a/build.rs b/build.rs
index 3571199e..e0f1d16e 100644
--- a/build.rs
+++ b/build.rs
@@ -83,4 +83,6 @@ fn main() {
         .arg(static_atoms_path.as_os_str())
         .spawn().unwrap()
         .wait().unwrap();
+
+    println!("cargo:rerun-if-changed=src/");
 }