From 26292b31db5b0a18fcacd2b0c98254ab39bf80ce Mon Sep 17 00:00:00 2001
From: Eduardo DAVILA <davila@ei-ed-606.creatis.insa-lyon.fr>
Date: Thu, 6 Jun 2019 10:42:51 +0200
Subject: [PATCH] git branch miniTools

---
 Linux/scripts/CreaTools-load.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Linux/scripts/CreaTools-load.sh b/Linux/scripts/CreaTools-load.sh
index 863e964..20e4226 100644
--- 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 ]
-- 
2.47.1