Commit c7dc1ed
fix(dune): enable dune rpc by default
Dune build --watch integration relies on dune RPC, but this was only
enabled during tests.
Enable Dune integration by default instead, as suggested by @rgrinberg.
Fixes #690
Signed-off-by: Edwin Török <[email protected]>
ps-id: 458AE51C-44DA-4CA6-B457-F0431E27FA3E1 parent 86f0f7d commit c7dc1ed
2 files changed
+8
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
1 | 7 | | |
2 | 8 | | |
3 | 9 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
713 | 713 | | |
714 | 714 | | |
715 | 715 | | |
716 | | - | |
| 716 | + | |
| 717 | + | |
717 | 718 | | |
718 | 719 | | |
719 | | - | |
720 | 720 | | |
721 | 721 | | |
722 | 722 | | |
| |||
0 commit comments