git branch miniTools

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

diff --git a/Linux/scripts/CreaTools-load.sh b/Linux/scripts/CreaTools-load.sh
index 863e964fa377d4bff73e379f2e597acd35b4d646..20e42268c62d8aef5bf17cae8df29d87e2ce732c 100644 (file)
--- a/Linux/scripts/CreaTools-load.sh
+++ b/Linux/scripts/CreaTools-load.sh
@@ -143,6 +143,8 @@ then
                 git checkout vtk8itk4wx3-mingw64
                 cd $generationdir/creatools_source/$creabrukersource
                 git checkout vtk8itk4wx3-mingw64
+                cd $generationdir/creatools_source/$creaminitoolssource
+                git checkout vtk8itk4wx3-mingw64
       fi
 
       if [ $sourcesFrom = HTML ]