26 Oct
2013
26 Oct
'13
8:57 p.m.
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