Fix

diff --git a/ctest/dashboard/All.sh b/ctest/dashboard/All.sh
index e6e87c7391ae2d0043f1bcca6d49aef680fcd69a..62555961183b0c2913ac7357364c189881e4af2d 100644 (file)
--- a/ctest/dashboard/All.sh
+++ b/ctest/dashboard/All.sh
@@ -9,15 +9,12 @@ echo "ex : sh All.sh /tmp/gendir OFF jpr /usr/local/lib/vtk-5.4 /home/jpr/myInsa
 exit 0
 fi
 
-
-
 if [ $# != 5 ]
 then 
 echo "use it as           sh All.sh /tmp/gendir OFF jpr /usr/local/lib/vtk-5.4 /home/jpr/myInsallDirectory"
 exit 0
 fi
 
-exit 0
 # @echo off
 
 #allow user to choose the generation dir
@@ -46,7 +43,7 @@ mkdir $generationdir/tmpCreaTools_INSTALL
  bbtkgeditorsource=bbtkGEditor
  creatoolssource=creaTools
 
-if [ true = false ]
+if [ true = true ]
 then
 
 rm -rf $generationdir/creaBin