perf: compile in release by default 😡

This commit is contained in:
Simon Cruanes 2021-08-02 16:04:59 -04:00
parent 515a720d00
commit c14070b622

View file

@ -5,7 +5,7 @@
J?=3 J?=3
TIMEOUT?=30 TIMEOUT?=30
OPTS= -j $(J) OPTS= -j $(J) --profile=release
dev: build-dev dev: build-dev
@ -13,7 +13,7 @@ dev: build-dev
#dev: build-dev test #dev: build-dev test
build-install: build-install:
@dune build $(OPTS) @install --profile=release @dune build $(OPTS) @install
build: build-install build: build-install