From 0abc3748e5deb603797ad450241dc14704b409e2 Mon Sep 17 00:00:00 2001
From: Eduardo Davila <Eduardo.Davila@creatis.insa-lyon.fr>
Date: Tue, 8 Feb 2011 07:56:19 +0000
Subject: [PATCH] no message

---
 Linux/menu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 3a26fd5..f9d2290 100644
--- 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
-- 
2.45.0