From 9d1da890f3543dd8ccbaa42f6fe40d1bb1d13b8b Mon Sep 17 00:00:00 2001
From: Philippe PITTOLI <karchnu@karchnu.fr>
Date: Sat, 11 May 2024 01:49:06 +0200
Subject: [PATCH] Makefile: slightly different options.

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f5628b1..9ebf96a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,12 @@
 all: build
 
-OPTS ?= --progress
+OPTS ?= --progress --no-debug
 Q ?= @
 SHOULD_UPDATE = ./bin/should-update
 DBDIR=/tmp/tests-on-dodb
 
 benchmark-cars:
-	$(Q)crystal build spec/benchmark-cars.cr $(OPTS)
+	$(Q)crystal build spec/benchmark-cars.cr $(OPTS) --release
 
 build: benchmark-cars