Index: Jenkins/Promote
===================================================================
--- Jenkins/Promote	(revision 5186e3273d6311245b7f0f9b747ce65ba0ae50b7)
+++ Jenkins/Promote	(revision 4be9a144223745e2f88fe6bb0e1fb28cab98b987)
@@ -4,8 +4,8 @@
 
 // Globals
-@Field def BuildDir  = null
-@Field def SrcDir    = null
-@Field def RemoteRepo = ''
-@Field def ArchiveUrl = ''
+@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
@@ -14,8 +14,4 @@
 
 node {
-	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'
 	currentBuild.result = "SUCCESS"