force bash use to avoid ./premake5-linux: 3: ./premake5-linux: Bad substitution error if other default shell in the system

devel0 · tritao · commit dfa243644b25 · 2020-05-14T15:44:13.000+01:00
diff --git a/build/premake5-linux b/build/premake5-linux
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-#!/bin/sh`
	`1`	`+#!/bin/bash`
`2`	`2`
`3`	`3`	`DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )`
`4`	`4`