Merge pull request #794 from antmicro/793_bash_shell

Make Makefiles use bash shell
This commit is contained in:
Tim Ansell 2019-04-18 08:46:17 -07:00 committed by GitHub
commit 940a6de922
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1,3 +1,4 @@
SHELL = bash
ALL_EXCLUDE = third_party .git env build
# Tools + Environment