Makefile: ensure bash is used instead of /bin/sh (#1004)

This commit is contained in:
罗泽轩 2022-11-12 12:19:35 +08:00 committed by GitHub
parent 193a6dd2a8
commit 1426002037
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,6 @@
PREFIX ?= /usr/local
BINPREFIX ?= "$(PREFIX)/bin"
SHELL := bash
OS = $(shell uname)
ifeq ($(OS), FreeBSD)