Some more consistency checking...

[creaToolsTools.git] / Linux / scripts / CreaTools-install.sh

diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index 708058f4cf70372407b148c9f869907e60e409b8..71bd297578ef79d9eb20a483cdab384c5c461e3a 100644 (file)
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -40,6 +40,7 @@ then
   sed -i -e '/.*creatools_base_library_config.*/ d' $ETC_BASHRC
   #  modify /etc/bashrc (we cannot modify .bashrc, since we switched as root)  
   # - add line 'bash $installPrefix/creatools_install/share/creatools_base_libraries_config.sh'
+
   echo source $installPrefix/share/creatools_base_library_config.sh >> $ETC_BASHRC
 else
   echo