diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-15 17:13:17 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-15 17:13:17 +0200 |
| commit | 57fdcd1f3220909ca5b975238aabe1bb7cb28d18 (patch) | |
| tree | 5960b006aff6546dcc3679b50d0ac0c9a5890664 | |
| parent | 5b49e70d5606f36667a55291d5345e95d42674fd (diff) | |
| download | builder-57fdcd1f3220909ca5b975238aabe1bb7cb28d18.tar.xz | |
bin/slave-build-connect: use sh instead of bash
| -rwxr-xr-x | bin/slave-build-connect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/slave-build-connect b/bin/slave-build-connect index b0bbfd5..87c0e31 100755 --- a/bin/slave-build-connect +++ b/bin/slave-build-connect @@ -4,7 +4,7 @@ if [ "${SSH_ORIGINAL_COMMAND%% *}" = "get-assignment" ] || \ [ "${SSH_ORIGINAL_COMMAND%% *}" = "return-assignment" ]; then - slave="$1" /bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" + slave="$1" /bin/sh -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" else >&2 echo "Invalid command: '${SSH_ORIGINAL_COMMAND%% *}'" exit 1 |