do_cmake.sh: do not unnecessarily warn about debug build

do_cmake.sh forgets to check the arguments passed to it and ends up warning
about debug build even if a user specifies a release build.

Signed-off-by: Abutalib Aghayev <agayev@gmail.com>

diff --git a/do_cmake.sh b/do_cmake.sh
index cc68e560ade25cc66bb0a6adde483fa6f5ecb351..12b59b09c73875474c5eb9bbea766559ce1df5ad 100755 (executable)
--- a/do_cmake.sh
+++ b/do_cmake.sh
@@ -70,7 +70,7 @@ EOF
 
 echo done.
 
-if [[ ! $ARGS =~ "-DCMAKE_BUILD_TYPE" ]]; then
+if [[ ! "$ARGS $@" =~ "-DCMAKE_BUILD_TYPE" ]]; then
   cat <<EOF
 
 ****