From 2f705a785017656f041fceae4234ccc053e732e8 Mon Sep 17 00:00:00 2001
From: Abutalib Aghayev <agayev@cs.cmu.edu>
Date: Wed, 13 May 2020 17:07:55 -0400
Subject: [PATCH] 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>
---
 do_cmake.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/do_cmake.sh b/do_cmake.sh
index cc68e560ade25..12b59b09c7387 100755
--- 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
 
 ****