diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-03-25 09:28:44 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-03-25 09:28:44 +0000 |
| commit | 764e450fddc1cf4a001aeb0f52adfc2e345112ac (patch) | |
| tree | 22ff5b0de6c730c86ebee424f787abddcf231fbb /src/shell_manager.cc | |
| parent | c9b72e1d3231fd87dbaab6f2897cf4782826ff3d (diff) | |
Remove the shell option, always use /bin/sh
Diffstat (limited to 'src/shell_manager.cc')
| -rw-r--r-- | src/shell_manager.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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()); |