From 01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5 Mon Sep 17 00:00:00 2001
From: Kim <kim.sidney@gmail.com>
Date: Fri, 3 May 2019 14:23:18 +0200
Subject: use bash as the shell for make

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 628574e2..534077b4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+SHELL := /bin/bash
 build_dir := build
 
 .PHONY: all
-- 
cgit v1.2.3