mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-06 00:48:18 -07:00
28 lines
738 B
Diff
28 lines
738 B
Diff
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
|