deis/deis — pull request #1380 by mboersma (2014-07-21 16:35:32+00:00)
Title: fix(Makefile): specify /bin/bash as Makefile $(SHELL)

We have one bash-ism in the main Makefile, and we generally expect
to use /bin/bash, so we should make it explicit. See:
https://www.gnu.org/software/make/manual/make.html#Choosing-the-Shell

Fixes #1341.