balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Dune: fix dune.inc for added file in proto demo

Browse Source
This commit is contained in:
Benjamin Canou 2019-03-06 00:40:21 +01:00
parent 0796b0355a
commit eba7f5ac8c
No known key found for this signature in database
GPG Key ID: 73607948459DC5F8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proto_demo/lib_protocol/dune.inc
View File

@ -26,7 +26,7 @@
(rule
(targets functor.ml)
(deps error.ml services.ml main.mli main.ml
(deps error.ml services.mli services.ml main.mli main.ml
(:src_dir TEZOS_PROTOCOL))
(action (with-stdout-to %{targets}
(chdir %{workspace_root}