From c14070b622f2f5977974c52038a09099e905bf2d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 2 Aug 2021 16:04:59 -0400 Subject: [PATCH] =?UTF-8?q?perf:=20compile=20in=20release=20by=20default?= =?UTF-8?q?=20=F0=9F=98=A1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 2f4a1990..20a33b56 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ J?=3 TIMEOUT?=30 -OPTS= -j $(J) +OPTS= -j $(J) --profile=release dev: build-dev @@ -13,7 +13,7 @@ dev: build-dev #dev: build-dev test build-install: - @dune build $(OPTS) @install --profile=release + @dune build $(OPTS) @install build: build-install