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