fix

2023-12-20 12:05:59 -06:00
parent 48ddff9e85
commit 80c9375d65
2 changed files with 2 additions and 2 deletions
--- a/scripts/make_common.sh
+++ b/scripts/make_common.sh
@ -5,7 +5,7 @@ BUILD_CLEAN=$2
 IS_MINGW=$3
 IS_WIN32=$4

-if [[ -z "${BUILD_TYPE}" ]]; then
+if [ "${BUILD_TYPE}" == "" ]; then
  BUILD_TYPE=Release
 fi