diff options
author | Nadrieril | 2020-02-29 23:21:18 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 81ce30dde067ca0067fda32b1e0ade1dbdfbdf58 (patch) | |
tree | e8681ca7c4d4303d8dc6266cae4e32581542e0f1 /dhall/build.rs | |
parent | 36fc9b140373ffacd90ab45750f97424d3808748 (diff) |
Implement `as Location` imports
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 137ef02..2c70b89 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -258,6 +258,7 @@ fn generate_tests() -> std::io::Result<()> { || path == "hashFromCache" || path == "headerForwarding" || path == "noHeaderForwarding" + || path == "unit/asLocation/Remote" }), input_type: FileType::Text, output_type: Some(FileType::Text), |