Skip to content

Commit

Permalink
Merge pull request #751 from rgrinberg/is-in-build-dir-weird-behavior
Browse files Browse the repository at this point in the history
Path.is_in_build_dir test
  • Loading branch information
rgrinberg authored May 14, 2018
2 parents dc3310c + 4b798c0 commit 19825ae
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions test/unit-tests/path.mlt
Original file line number Diff line number Diff line change
Expand Up @@ -279,3 +279,8 @@ Path.drop_build_context Path.build_dir
[%%expect{|
- : Stdune.Path.t option = None
|}]

Path.is_in_build_dir Path.build_dir
[%%expect{|
- : bool = false
|}]

0 comments on commit 19825ae

Please sign in to comment.