Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 3a9acebc19cbc3650b933c8419e1f9804c56610d)
+++ Jenkinsfile	(revision 0fd5003908c4297f687f00a4ca12a6dceebb85ac)
@@ -119,5 +119,5 @@
 	public final String DescShort
 
-	BuildSettings(java.util.Collections$UnmodifiableMap param) {
+	BuildSettings(java.util.Collections$UnmodifiableMap param, String branch) {
 		switch( param.Compiler ) {
 			case 'gcc-6':
@@ -153,5 +153,5 @@
 		this.Publish            = param.Publish
 		this.Silent             = param.Silent
-		this.IsSandbox          = env.BRANCH_NAME == "jenkins-sandbox"
+		this.IsSandbox          = (branch == "jenkins-sandbox")
 
 		def full = param.RunAllTests ? " (Full)" : ""
@@ -215,5 +215,5 @@
 		]])
 
-	final settings = new BuildSettings(params)
+	final settings = new BuildSettings(params, env.BRANCH_NAME)
 
 	currentBuild.description = settings.DescShort