matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix the workspace test not to leak absolute paths 

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-07-11 10:30:15 +02:00
parent ab6bb0d5f7
commit 93fb319150
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/blackbox-tests/test-cases/workspaces/custom-workspace/dune-workspace.dev
View File

@ -1,3 +1,3 @@
(lang dune 1.0)
(context (does-not-exist))
(context (default))

4
test/blackbox-tests/test-cases/workspaces/run.t
View File

@ -25,9 +25,7 @@ analogously, jbuilder will ignore it
specifying the workspace file is possible:
$ dune build --root custom-workspace --workspace custom-workspace/dune-workspace.dev
File "/Users/rgrinberg/reps/dune/_build/default/test/blackbox-tests/test-cases/workspaces/custom-workspace/dune-workspace.dev", line 2, characters 10-24:
Error: Unknown constructor does-not-exist
[1]
Entering directory 'custom-workspace'
Workspaces let you set custom profiles