no message

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 3a26fd5d55249aa41eb607761c722ffbea985233..f9d229075b1cd9a20f0578679bb16714d2101aba 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