diff --git a/vendors/ocplib-json-typed/Makefile b/vendors/ocplib-json-typed/Makefile index 4cfc21d4e..d56625796 100644 --- a/vendors/ocplib-json-typed/Makefile +++ b/vendors/ocplib-json-typed/Makefile @@ -1,5 +1,5 @@ all: - dune build @install @runtest --dev + dune build @install @runtest install: dune install