From 63640e63015e3d167e91bfddeeb5e4a1c5bd006d Mon Sep 17 00:00:00 2001
From: Julien Vignoud <33122365+JulienVig@users.noreply.github.com>
Date: Thu, 8 Feb 2024 11:30:56 +0100
Subject: [PATCH] Remove bash specifics from install.sh
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Valérian Rousset <tharvik@users.noreply.github.com>
---
 install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install.sh b/install.sh
index 829b9e4ae..d72ced397 100644
--- a/install.sh
+++ b/install.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 set -e # Exit script on error
 DIR="$( cd "$( dirname "$0" )" ; pwd -P )" # Fetch current directory