From 832b4414276553cb236bcc9f0043e07c3550576a Mon Sep 17 00:00:00 2001
From: Lucas Eriksson <dracc@dracc.se>
Date: Sat, 21 Sep 2019 22:20:28 +0200
Subject: [PATCH] build: Use bash

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 30fc3c75db..d5b489b04f 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,9 @@ BUILD_DIR=$(CURDIR)
 # Before including a proper config-host.mak, assume we are in the source tree
 SRC_PATH=.
 
+# Use bash as sh if-statement evaluation is wonky
+SHELL := /usr/bin/env bash
+
 UNCHECKED_GOALS := %clean TAGS cscope ctags dist \
     html info pdf txt \
     help check-help print-% \