From 764e450fddc1cf4a001aeb0f52adfc2e345112ac Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 25 Mar 2014 09:28:44 +0000
Subject: Remove the shell option, always use /bin/sh

---
 src/shell_manager.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/shell_manager.cc')

diff --git a/src/shell_manager.cc b/src/shell_manager.cc
index 7663e2f8..1d3d8625 100644
--- a/src/shell_manager.cc
+++ b/src/shell_manager.cc
@@ -119,7 +119,7 @@ String ShellManager::pipe(const String& input,
 
             ++it;
         }
-        String shell = context.options()["shell"].get<String>();
+        String shell = "/bin/sh";
         std::vector<const char*> execparams = { shell.c_str(), "-c", cmdline.c_str() };
         if (not params.empty())
             execparams.push_back(shell.c_str());
-- 
cgit v1.2.3