blob: bc45903da7cd9d76031390d13a0f1c5f17cd9ff6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
From 5b93fc78cba80b6a97cc1e4c91d183495591e8b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maciej=20Bar=C4=87?= <xgqt@gentoo.org>
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ć <xgqt@gentoo.org>
---
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
|
