*** empty log message ***

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index aa640b080355618ab8f9d9bcb4783c8da8fa30ab..3be1b00a10aba6ac78eaef9493114df253ca1a27 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -146,7 +146,7 @@ do
         read corenumber
         if [ "$corenumber" = "" ]
         then
-           generationdir="2"
+           corenumber="2"
         fi
         echo "you said : [" $corenumber "]"
 
@@ -189,6 +189,8 @@ do
         echo 
         # ------------------
 
+if [ false ]
+then
         docgeneration="___"
         while [[ "$docgeneration" != "ON"  && "$docgeneration" != "OFF" ]]
         do
@@ -202,6 +204,9 @@ do
         done
         echo
         echo
+fi
+docgeneration="OFF"
+
         # ------------------
 
         sourcesFrom="___"