Index: Jenkins/Promote
===================================================================
--- Jenkins/Promote	(revision 9a0a36185e236d03f9c5f907755c49fda4704080)
+++ Jenkins/Promote	(revision 0a10dc834299fcd94f5955aa965dee79a686f25a)
@@ -1,27 +1,23 @@
 #!groovy
 
+// Globals
+@Field def BuildDir   = pwd tmp: true
+@Field def SrcDir     = pwd tmp: false
+@Field def RemoteRepo = 'git@github.com:cforall/cforall.git'
+@Field def ArchiveUrl = 'https://cforall.uwaterloo.ca/jenkins/job/Cforall_Distribute_Ref/lastSuccessfulBuild/artifact/*zip*/archive.zip'
+
+// Local variables
+def err = null
+def log_needed = false
+
 node {
-	// Globals
-	BuildDir   = pwd tmp: true
-	SrcDir     = pwd tmp: false
-	RemoteRepo = 'git@github.com:cforall/cforall.git'
-	ArchiveUrl = 'https://cforall.uwaterloo.ca/jenkins/job/Cforall_Distribute_Ref/lastSuccessfulBuild/artifact/*zip*/archive.zip'
-
-	// Local variables
-	def err = null
-	def log_needed = false
-
 	currentBuild.result = "SUCCESS"
 
-	//Wrap build to add timestamp to command line
+	// Wrap build to add timestamp to command line
 	wrap([$class: 'TimestamperBuildWrapper']) {
-
 		PrepRepo();
-
 		def name = GetArchive();
-
 		PushRepo(name);
 	}
-
 }
 
@@ -59,5 +55,4 @@
 		}
 	}
-
 	return tarball
 }