]> Creatis software - creaToolsTools.git/commitdiff
git branch miniTools
authorEduardo DAVILA <davila@ei-ed-606.creatis.insa-lyon.fr>
Thu, 6 Jun 2019 08:42:51 +0000 (10:42 +0200)
committerEduardo DAVILA <davila@ei-ed-606.creatis.insa-lyon.fr>
Thu, 6 Jun 2019 08:42:51 +0000 (10:42 +0200)
Linux/scripts/CreaTools-load.sh

index 863e964fa377d4bff73e379f2e597acd35b4d646..20e42268c62d8aef5bf17cae8df29d87e2ce732c 100644 (file)
@@ -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 ]