Index: Jenkins/Promote
===================================================================
--- Jenkins/Promote	(revision 0a10dc834299fcd94f5955aa965dee79a686f25a)
+++ Jenkins/Promote	(revision 8730e57a8b56f4f8283c8530499840ad593ca403)
@@ -2,8 +2,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
@@ -12,4 +12,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"