In Posix, /bin/sh has no [[, but bash has them ;)

TypesettingTools · Dec 3, 2023 · 7477d80 · 7477d80
1 parent b8897ea
commit 7477d80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/BuildLua.sh b/BuildLua.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 if [ -z $2 ]; then
 	echo "Usage: $0 input_file output_file [input2 output2 ...]"