commit this one for future(?) use

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

diff --git a/Linux/scripts/CreaTools-load.sh b/Linux/scripts/CreaTools-load.sh
index 4dd0700cbe71245513ac545798efb83857f2419a..bd7d515da20f663765a1dea166afc23edbd873bb 100644 (file)
--- a/Linux/scripts/CreaTools-load.sh
+++ b/Linux/scripts/CreaTools-load.sh
@@ -90,7 +90,9 @@ then
          bash $scriptDir/cvscheckout.sh $crearigidregistrationssource $generationdir $cvsUserName 
          bash $scriptDir/cvscheckout.sh $bbtkgeditorsource            $generationdir $cvsUserName 
          bash $scriptDir/cvscheckout.sh $creatoolssource              $generationdir $cvsUserName
-         bash $scriptDir/cvscheckout.sh $creaminitoolssource          $generationdir $cvsUserName       
+         bash $scriptDir/cvscheckout.sh $creaminitoolssource          $generationdir $cvsUserName
+         bash $scriptDir/cvscheckout.sh $libidosource-ESRF            $generationdir $cvsUserName
+              mv $libidosource-ESRF $libidosource               
       fi
 
       if [ $sourcesFrom = HTML ]