From e2e2629dc9598b194ae16643a65537e0b77c54ae Mon Sep 17 00:00:00 2001 From: EnumDev Date: Thu, 13 Mar 2025 15:34:10 +0200 Subject: [PATCH] Make bash the default shell in Makefile --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index f9a3fd7..ab65f36 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +SHELL = /bin/bash + ifeq ($(PREFIX),) PREFIX := /usr/local endif