From 57fdcd1f3220909ca5b975238aabe1bb7cb28d18 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 15 Jun 2017 17:13:17 +0200
Subject: bin/slave-build-connect: use sh instead of bash

---
 bin/slave-build-connect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3-54-g00ecf