diff --git a/Makefile b/Makefile index b24f052f..a8967cda 100644 --- a/Makefile +++ b/Makefile @@ -12,11 +12,11 @@ OPTS= -j $(J) LIB=$(addprefix $(NAME), .cma .cmxa .cmxs) -dev: build-dev test - build: @dune build $(OPTS) @install --profile=release +dev: build-dev test + build-dev: @dune build $(OPTS) @install