*** empty log message ***

diff --git a/Install/scripts/All.sh b/Install/scripts/All.sh
index ac4378821e4e981f3a13f6b9477f5d8a37c688a2..07453889ea2df89873d8b3613aa55733e8bb6bfa 100644 (file)
--- a/Install/scripts/All.sh
+++ b/Install/scripts/All.sh
@@ -103,9 +103,9 @@ then
 #if [ true = false ]
 if [ true = true ]
 then
-  sudo rm -rf creatools_bin
+  rm -rf creatools_bin
   mkdir $generationdir/creatools_bin
-  sudo rm -rf creatools_source
+  rm -rf creatools_source
   mkdir $generationdir/creatools_source
 
   sudo rm -rf creatools_install/lib/creatools