From f78af6d1e7f6c1dc39bde6cf97138327004ddb06 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 5 Apr 2019 00:09:07 +0200 Subject: Update dhall-lang submodule --- dhall-lang | 2 +- dhall/build.rs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/dhall-lang b/dhall-lang index 1f87b02..3084134 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 1f87b0285ffc098a3ef05c93a8186c32736bd4a6 +Subproject commit 30841349fd02fd4eb965cba23a8dc557e99fbd15 diff --git a/dhall/build.rs b/dhall/build.rs index f7a31c0..e80115f 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -23,6 +23,7 @@ fn dhall_files_in_dir<'a>(dir: &'a Path) -> impl Iterator + 'a { fn main() -> std::io::Result<()> { println!("cargo:rerun-if-changed=../dhall-lang/.git"); + println!("cargo:rerun-if-changed=../.git/modules/dhall-lang/refs/heads/master"); let out_dir = env::var("OUT_DIR").unwrap(); let tests_dir = Path::new("../dhall-lang/tests/"); -- cgit v1.2.3