From 6c07ec8cfcf0b4b8cb5cbd62608100e2a305b26a Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 6 Aug 2021 16:42:39 -0500 Subject: Force the shell to bash in the makefile. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 77778be0..d548edea 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,7 @@ build_dir := build +SHELL := /bin/bash + .PHONY: all all: @echo "Make what specifically?" -- cgit v1.2.3