From 38c1c0c457fba5ab71d08f9072b803eb2af84155 Mon Sep 17 00:00:00 2001 From: Maxim Belkin Date: Fri, 13 Dec 2019 11:48:58 -0600 Subject: [PATCH] Makefile: Specify shell. Don't include commands.mk --- Makefile | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 1fdc5d2..14a53a2 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,6 @@ +# Use /bin/bash instead of /bin/sh +export SHELL = /bin/bash + ## ======================================== ## Commands for both workshop and lesson websites. @@ -142,8 +145,3 @@ lesson-files : lesson-fixme : @fgrep -i -n FIXME ${MARKDOWN_SRC} || true -#------------------------------------------------------------------------------- -# Include extra commands if available. -#------------------------------------------------------------------------------- - --include commands.mk -- 2.30.2