diff options
| author | Nadrieril | 2019-08-06 20:59:28 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-06 21:42:17 +0200 |
| commit | b3791e91b7cb73778cc21844a6999531bf537f77 (patch) | |
| tree | 986693bbb5647eb84137dad47f75ec897c214a60 /dhall | |
| parent | 054121b427b5344b41a0fb230b69d81ea0b5cd0a (diff) | |
Change URL parsing
Diffstat (limited to 'dhall')
| -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 db66e3c..2fa63c6 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -100,6 +100,7 @@ fn main() -> std::io::Result<()> { || path == "success/unit/import/urls/emptyPath0" || path == "success/unit/import/urls/emptyPath1" || path == "success/unit/import/urls/emptyPathSegment" + || path == "success/unit/import/urls/potPourri" }, )?; |