no message

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 3a26fd5..f9d2290 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -217,7 +217,7 @@ do
         # ------------------
 
         buildType="___"
-        while [[ "$buildType" != "Release"  && "$buildType " != "Debug" ]]
+        while [[ "$buildType" != "Release"  && "$buildType" != "Debug" ]]
         do
            echo "Build type : Release/Debug (default is Release)"
            read buildType