From 14260020376c4d5905dc35b41a8ba32c5e340326 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E7=BD=97=E6=B3=BD=E8=BD=A9?= <spacewanderlzx@gmail.com>
Date: Sat, 12 Nov 2022 12:19:35 +0800
Subject: [PATCH] Makefile: ensure bash is used instead of /bin/sh (#1004)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 1374fd0..72a8187 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 PREFIX ?= /usr/local
 BINPREFIX ?= "$(PREFIX)/bin"
+SHELL := bash
 
 OS = $(shell uname)
 ifeq ($(OS), FreeBSD)