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