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