From 70391e58db37e6bb9cb86b92dc78dfadc7ac7fff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Sat, 2 Mar 2013 14:40:00 +0100
Subject: Disable the shell for ct_run

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 2349caa..c76f803 100644
--- a/Makefile
+++ b/Makefile
@@ -72,6 +72,7 @@ clean-docs:
 # Tests.
 
 CT_RUN = ct_run \
+	-noshell \
 	-pa ebin $(DEPS_DIR)/*/ebin \
 	-dir test \
 	-logdir logs \
-- 
cgit v1.2.3