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

Extend test for #644

This commit is contained in:
Jeremie Dimino 2018-03-27 17:46:02 -04:00
parent ad00c1509f
commit fb101857d4
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,6 +4,8 @@
Hint: try: jbuilder external-lib-deps --missing --root . @runtest
[1]
This should print something:
These should print something:
$ $JBUILDER external-lib-deps --root . -j 1 --display quiet @runtest
$ $JBUILDER external-lib-deps --root . -j 1 --display quiet --missing @runtest