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