bbtkgeditorsource=bbtkGEditor
creatoolssource=creaTools
+if [ true = true ]
+then
+
rm -rf $generationdir/creaBin
rm -rf $generationdir/bbtkBin
rm -rf $generationdir/creamaracasBin
sh cvscheckout.sh $bbtkgeditorsource $generationdir
sh cvscheckout.sh $creatoolssource $generationdir
+fi
# CREA
#if [ true = false ]