build(Not-sh-but-bash): Changed from sh to bash shell

2023-09-17 19:52:31 +02:00 · 2023-09-17 19:52:31 +02:00 · 63122b8a42
commit 63122b8a42
parent df4e2cb573
1 changed files with 2 additions and 2 deletions
--- a/scripts/build_ubuntu.sh
+++ b/scripts/build_ubuntu.sh
@ -1,5 +1,5 @@
-#!/bin/sh
-# Build LASP on Arch Linux, assuming we start in a clean docker container.
+#!/bin/bash
+# Build LASP on Ubuntu Linux, assuming we start in a clean docker container.
 # After that, test stuff.
 # Assumptions
 # - CWD is root of lasp repository