[tor-commits] [check/master] Specify shell in makefile.

[arlo at torproject.org]

commit bbd59d691b9b7657e6ec9bafff719fd5f6e452dd
Author: Arlo Breault <arlolra at 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