From f1508326769901ff261cdc4fa5eab95bbb7631f9 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Wed, 20 Dec 2023 12:12:22 -0600 Subject: [PATCH] default to release --- scripts/make_mingw64.sh | 2 +- scripts/make_unix.sh | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/make_mingw64.sh b/scripts/make_mingw64.sh index d73c1632..1b63343e 100755 --- a/scripts/make_mingw64.sh +++ b/scripts/make_mingw64.sh @@ -1,5 +1,5 @@ #!/bin/bash pushd "$(dirname "$0")/.." -scripts/make_common.sh ${1} "${2}" 1 +scripts/make_common.sh "${1}" "${2}" 1 popd diff --git a/scripts/make_unix.sh b/scripts/make_unix.sh index dfbf6115..93bdf3f7 100755 --- a/scripts/make_unix.sh +++ b/scripts/make_unix.sh @@ -11,6 +11,9 @@ NAME=alpine if [ -z "${BUILD_ARCH}" ]; then BUILD_ARCH=64_bit fi +if [ -z "${BUILD_TYPE}" ]; then + BUILD_TYPE=Release +fi ln -sf ${SOURCE_DIR}/build/compile_commands.json ${SOURCE_DIR}/compile_commands.json