Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-15 17:13:17 +0200
committerErich Eckner <git@eckner.net>2017-06-15 17:13:17 +0200
commit57fdcd1f3220909ca5b975238aabe1bb7cb28d18 (patch)
tree5960b006aff6546dcc3679b50d0ac0c9a5890664
parent5b49e70d5606f36667a55291d5345e95d42674fd (diff)
bin/slave-build-connect: use sh instead of bash
-rwxr-xr-xbin/slave-build-connect2
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