commit bbd59d691b9b7657e6ec9bafff719fd5f6e452dd Author: Arlo Breault arlolra@gmail.com Date: Sat Oct 26 13:56:43 2013 -0700

Specify shell in makefile.

pushd / popd require it. --- Makefile | 2 ++ 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile index 64835b4..a9c6cbc 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +SHELL := /bin/bash + start: data/exit-policies data/langs i18n @./check