From 5d59f74de23a75de3049c167258da4d2d4e560e5 Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Sun, 20 Dec 2020 09:52:14 +0100
Subject: [PATCH] Call start script as argument of /bin/sh

---
 docker/testing/distributed/sebuniversal.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/testing/distributed/sebuniversal.Dockerfile b/docker/testing/distributed/sebuniversal.Dockerfile
index d5600b10..2ec31d43 100644
--- a/docker/testing/distributed/sebuniversal.Dockerfile
+++ b/docker/testing/distributed/sebuniversal.Dockerfile
@@ -21,6 +21,6 @@ COPY docker/testing/distributed/start-sebserver.sh seb-server.jar /sebserver/
 
 WORKDIR /sebserver
 
-CMD /sebserver/start-sebserver.sh
+CMD /bin/sh /sebserver/start-sebserver.sh
 
 EXPOSE 8080