From 80c9375d653b3c048f6c5ed2e02806e094445d99 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Wed, 20 Dec 2023 12:05:59 -0600 Subject: [PATCH] fix --- scripts/make_common.sh | 2 +- scripts/make_win32.cmd | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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