From ab18c0005d419c138bdf49bd01aeed7e1e26868b Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sun, 17 Mar 2024 05:40:48 +0100
Subject: [PATCH] Compile with options (release mode).

---
 makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/makefile b/makefile
index 309728f..ec7fea6 100644
--- a/makefile
+++ b/makefile
@@ -2,6 +2,7 @@ all: build
 
 Q ?= @
 SHOULD_UPDATE = ./bin/should-update
+OPTS ?=
 
 NAME ?= John
 EMAIL ?= john@example.com
@@ -64,9 +65,9 @@ permission-set:
 ###################
 
 build-server:
-	$(Q)-$(SHOULD_UPDATE) bin/authd && shards build authd
+	$(Q)-$(SHOULD_UPDATE) bin/authd && shards build authd $(OPTS)
 build-client:
-	$(Q)-$(SHOULD_UPDATE) bin/authc && shards build authc
+	$(Q)-$(SHOULD_UPDATE) bin/authc && shards build authc $(OPTS)
 
 build: build-server build-client