Index: Jenkins/Promote
===================================================================
--- Jenkins/Promote	(revision 4be9a144223745e2f88fe6bb0e1fb28cab98b987)
+++ Jenkins/Promote	(revision fae93a40f9bcf47eee391b5664908b547b01fcfd)
@@ -4,8 +4,8 @@
 
 // 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'
+@Field def BuildDir  = null
+@Field def SrcDir    = null
+@Field def RemoteRepo = ''
+@Field def ArchiveUrl = ''
 
 // Local variables
@@ -14,4 +14,8 @@
 
 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"