simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 05:28:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: make default target build, not dev

Browse source
This commit is contained in:
Simon Cruanes 2019-02-16 16:55:59 -06:00 • committed by Guillaume Bury
parent 596034d16a
commit b1c687faac
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -12,11 +12,11 @@ OPTS= -j $(J)
LIB=$(addprefix $(NAME), .cma .cmxa .cmxs) LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
dev: build-dev test
build: build:
@dune build $(OPTS) @install --profile=release @dune build $(OPTS) @install --profile=release
dev: build-dev test
build-dev: build-dev:
@dune build $(OPTS) @install @dune build $(OPTS) @install