summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-08 19:45:52 +0200
committerNadrieril2019-08-08 19:45:52 +0200
commit4d94c3bbf955c5c32cee0651820484c4e4b6cd90 (patch)
treebabe260c49d23f6d5c2856f118d757fe7cc2c463 /dhall/build.rs
parent071ba528cd8c6a222be345ddec7560bb45cca6be (diff)
Update dhall-lang submodule
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index c05df0d..bcb5d1c 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -208,9 +208,12 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/RecursiveRecordMergeWithinFieldSelection0"
|| path == "success/unit/RecursiveRecordMergeWithinFieldSelection1"
|| path == "success/unit/RecursiveRecordMergeWithinFieldSelection2"
+ || path == "success/unit/RecursiveRecordMergeWithinFieldSelection3"
|| path == "success/unit/RightBiasedMergeWithinFieldSelection0"
|| path == "success/unit/RightBiasedMergeWithinFieldSelection1"
|| path == "success/unit/RightBiasedMergeWithinFieldSelection2"
+ || path == "success/unit/RightBiasedMergeWithinFieldSelection3"
+ || path == "success/unit/RightBiasedMergeEquivalentArguments"
},
)?;