From ffa4cd6b3779b1c6c936899dbc49ddb3ff939bcc Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sun, 17 Mar 2024 23:05:50 +0100
Subject: [PATCH] Makefile: add `--progress` to OPTS + add a `release` rule.

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

diff --git a/Makefile b/Makefile
index 1612158..5bf0d7d 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ endif
 # No idea why, but I need that to run applications. Ignore that.
 #LD_P ?= LD_PRELOAD=/usr/local/lib/libipc.so.0
 
-OPTS ?=
+OPTS ?= --progress
 
 Q ?= @
 
@@ -101,5 +101,8 @@ print-response-message-numbers:
 print-response-messages-without-comments:
 	make -s print-response-messages | grep -vE '^[[:blank:]]+#'
 
-rm-db:
+wipe-db:
 	rm -r $(DBDIR)
+
+release:
+	make build-server OPTS="--release --progress"