From 42c81aacae9060e3c5a4037a60f03edf874c667f Mon Sep 17 00:00:00 2001 From: ENGO150 <v.smejkal06@gmail.com> Date: Sat, 30 Apr 2022 15:58:57 +0200 Subject: [PATCH] fixed possible bash problems --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index d8fd486..4e1f21f 100644 --- a/build.sh +++ b/build.sh @@ -18,7 +18,7 @@ output="out/why2" flags="-ljson-c -lcurl" # Check for debug flag -if [ "$1" == "debug" ]; then +if [[ "$1" == "debug" ]]; then flags="$flags -g" echo "Using debug flag" fi