diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build/build_make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build_make.sh b/build/build_make.sh index 7dc2a63d..5b269881 100755 --- a/build/build_make.sh +++ b/build/build_make.sh @@ -116,7 +116,7 @@ while test -n "$1"; do esac done -if [ ${DOMAKE} -eq 1 ]; then +if [ "${DOMAKE}" == "1" ]; then OPTIONS="${OPTIONS} -DCMAKE_BUILD_TYPE=${BUILD_TYPE}" fi |