Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d3b95f1aa609f1e2b27c55744a74d431f33610a4)
+++ Jenkinsfile	(revision a8d8547ea59a7d73ea440ad57c8cb10d95bed6fe)
@@ -8,6 +8,6 @@
 
 // Globals
-BuildDir  = pwd tmp: true
-SrcDir    = pwd tmp: false
+BuildDir  = ""
+SrcDir    = ""
 Settings  = null
 Tools     = null
@@ -46,8 +46,4 @@
 			publish()
 		}
-
-		// Update the build directories when exiting the node
-		BuildDir  = pwd tmp: true
-		SrcDir    = pwd tmp: false
 	}
 }