Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 3e5d8fb5e04ee4c29e6d174d6e72d5daa4de38e0)
+++ Jenkins/FullBuild	(revision 9eb7a532d7c566d76c4a33db46237045ea9db4ee)
@@ -66,4 +66,9 @@
 
 def trigger_build(String cc, String arch, boolean new_ast) {
+	// Randomly delay the builds by a random amount to avoid hitting the SC server to hard
+	sleep(time: 5 * Math.random(), unit:"MINUTES")
+
+	// Run the build
+	// Don't propagate, it doesn't play nice with our email setup
 	def result = build job: 'Cforall/master', 		\
 		parameters: [						\
