diff --git a/scripts/make_common.sh b/scripts/make_common.sh index 285f129b..26cba3fb 100755 --- 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 diff --git a/scripts/make_win32.cmd b/scripts/make_win32.cmd index 0d4273f3..ec1b25a6 100644 --- a/scripts/make_win32.cmd +++ b/scripts/make_win32.cmd @@ -1,5 +1,5 @@ @echo off pushd "%~dp0%.." -mingw64 scripts/make_common.sh %1 "%2" 0 1 +mingw64 scripts/make_common.sh "%1" "%2" 0 1 popd