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