fix sh to bash in script

clemdiep · clemdiep · commit baaab350a294 · 2025-10-30T09:12:50.000+01:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,8 +5,7 @@ on:
     branches:
       - main
   pull_request:
-    branches:
-      - main
+    branches: ["main", "144-support-musl"]
 
 jobs:
   build-so3:
diff --git a/so3/scripts/syscall_gen.sh b/so3/scripts/syscall_gen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Copyright (C) 2025 Clément Dieperink <clement.dieperink@heig-vd.ch>
 #

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`
`3`	`3`	`# Copyright (C) 2025 Clément Dieperink <clement.dieperink@heig-vd.ch>`
`4`	`4`	`#`