Index: Jenkins/Distribute
===================================================================
--- Jenkins/Distribute	(revision cf2257fcf7e77ad08471b217b4a36513b7a88daa)
+++ Jenkins/Distribute	(revision 6c9e0bc4fcb6f530280212e572b29daed0350875)
@@ -32,7 +32,7 @@
 				SrcDir    = pwd tmp: false
 
-				Tools.clean()
+				Tools.Clean()
 
-				Tools.checkout( commit )
+				Tools.Checkout( commit )
 			}