Make Makefiles use bash shell

Signed-off-by: Tomasz Michalak <tmichalak@antmicro.com>
2019-04-18 09:28:31 +02:00 · 2019-04-18 09:28:31 +02:00 · d908eea23e
parent 816511ddca
commit d908eea23e
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -1,3 +1,4 @@
+SHELL = bash
 ALL_EXCLUDE = third_party .git env build

 # Tools + Environment