Remove bash specifics from install.sh

Co-authored-by: Valérian Rousset <[email protected]>
epfml · Feb 8, 2024 · 63640e6 · 63640e6
1 parent 9159787
commit 63640e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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