Skip to content

Commit

Permalink
ocplib-json-typed: Makefile update for dune
Browse files Browse the repository at this point in the history
We don't care as we're not using the Makefile directly but:
dune: --dev is no longer accepted as it is now the default.
  • Loading branch information
pirbo authored and raphael-proust committed Sep 2, 2019
1 parent 7566ec2 commit cd42469
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
all:
dune build @install @runtest --dev
dune build @install @runtest

install:
dune install
Expand Down

0 comments on commit cd42469

Please # to comment.