re indent

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 20eb77991c10888b30bd70f39b2027d802fd96d8..a9f1ff8952b70676d5ebf24835345f10e4bcb0a4 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -477,6 +477,8 @@ do
               echo "VTK_DIR :...." $VTK_DIR
               echo "ITK_DIR :...." $ITK_DIR
               echo "GDCM_DIR :..." $GDCM_DIR
+             echo
+             echo "installPrefixThird ... " $installPrefixThird
      fi
             
      if [ -f $installPrefixThird/share/creatools_third_party_library_config.sh ]
@@ -495,6 +497,8 @@ do
        echo  ------ 
        more $installPrefix/share/creatools_base_library_config.sh
        echo  ------ 
+       echo
+        echo "installPrefix ... " $installPrefix
      fi   
      echo "==================================="
      echo