From 99d350f11ed292fec03ed41ae19adadcdfd73bd2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Henning?= <soeren.henning@email.uni-kiel.de>
Date: Fri, 28 Jan 2022 09:20:21 +0100
Subject: [PATCH] Use sh instead of bash

---
 theodolite-benchmarks/docker-test/smoketest-runner.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theodolite-benchmarks/docker-test/smoketest-runner.sh b/theodolite-benchmarks/docker-test/smoketest-runner.sh
index 08093d319..2902ebec2 100755
--- a/theodolite-benchmarks/docker-test/smoketest-runner.sh
+++ b/theodolite-benchmarks/docker-test/smoketest-runner.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 COMPOSE_FILE_PATH=$1
 echo "Run test for '$COMPOSE_FILE_PATH'."
-- 
GitLab