]> git.ipfire.org Git - thirdparty/man-pages.git/commitdiff
Makefile: SHELL: Use a portable bash
authorAlejandro Colomar <alx.manpages@gmail.com>
Sun, 19 Jun 2022 17:55:58 +0000 (19:55 +0200)
committerAlejandro Colomar <alx.manpages@gmail.com>
Sun, 19 Jun 2022 17:55:58 +0000 (19:55 +0200)
Reported-by: Ahelenia ZiemiaƄska <nabijaczleweli@nabijaczleweli.xyz>
Signed-off-by: Alejandro Colomar <alx.manpages@gmail.com>
Makefile

index 9beca11def333208d2ac7e84b6546c29c364e399..cb1466370f0a631a501f71d84dc2553d0ab98edf 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@
 #
 ########################################################################
 
-SHELL := /bin/bash -Eeuo pipefail
+SHELL := /usr/bin/env bash -Eeuo pipefail
 
 
 MAKEFLAGS += --no-print-directory