diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-24 10:43:33 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-24 10:43:33 +0200 |
| commit | 6285eb66348a535b2116dd557f8189218b8d913b (patch) | |
| tree | e514a95c68247409c9a2fbf4e8b009f6e09f39a0 | |
| parent | 6930e6021e6e84d7165fd13ec37255fa9dc3c00b (diff) | |
| download | builder-6285eb66348a535b2116dd557f8189218b8d913b.tar.xz | |
bin/slave-build-connect: prepare for more sophisticated differentiation between build slaves
| -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 555b694..c024386 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 - /bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" + slave="$1" /bin/bash -c "${base_dir}/bin/${SSH_ORIGINAL_COMMAND}" else >&2 echo "Invalid command: '${SSH_ORIGINAL_COMMAND%% *}'" exit 1 |