From d908eea23ee196033121506e6c25941d22bce7f2 Mon Sep 17 00:00:00 2001
From: Tomasz Michalak <tmichalak@antmicro.com>
Date: Thu, 18 Apr 2019 09:28:31 +0200
Subject: [PATCH] Make Makefiles use bash shell

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 4a4fe5f2..df31a766 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+SHELL = bash
 ALL_EXCLUDE = third_party .git env build
 
 # Tools + Environment