Cleanup test by creating dune-project file
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
aa981b3206
commit
d229b7811b
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
|
@ -31,7 +31,6 @@ specifying the workspace file is possible:
|
||||||
Workspaces let you set custom profiles
|
Workspaces let you set custom profiles
|
||||||
|
|
||||||
$ dune runtest --root custom-profile
|
$ dune runtest --root custom-profile
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
Entering directory 'custom-profile'
|
Entering directory 'custom-profile'
|
||||||
build profile: foobar
|
build profile: foobar
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue