From 5b93fc78cba80b6a97cc1e4c91d183495591e8b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Wed, 7 Jan 2026 23:35:29 +0100 Subject: [PATCH] Makefile: use portable "command -v" instead of the "which" command MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 70e26cb1..e6f61819 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,7 @@ DESTBINDIR := $(DESTLIBDIR)/$(BINDIR) VPATH = $(SRCDIR) -MANDB = $(shell which mandb) +MANDB = $(shell command -v mandb) ERLCFLAGS = -W1 +debug_info ERLC ?= erlc