]> Creatis software - creaToolsTools.git/commitdiff
projects / creaToolsTools.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4515e33)
no message
authorEduardo Davila <Eduardo.Davila@creatis.insa-lyon.fr>
Tue, 8 Feb 2011 07:56:19 +0000 (07:56 +0000)
committerEduardo Davila <Eduardo.Davila@creatis.insa-lyon.fr>
Tue, 8 Feb 2011 07:56:19 +0000 (07:56 +0000)
Linux/menu.sh patch | blob | history

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
Basic tools for creaTools installation