Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision df57a848893e316717655c9bb74e2a3c34d36f70)
+++ Jenkinsfile	(revision e2862d3922d97b5a8ce0b34b04a46a98cf689f6a)
@@ -292,5 +292,5 @@
 	public String GitOldRef
 
-	BuildSettings(java.util.Collections$UnmodifiableMap param, String branch) {
+	BuildSettings(java.util.Collections$UnmodifiableMap param, String branch, String number) {
 		switch( param.Compiler ) {
 			case 'gcc-6':
@@ -329,5 +329,5 @@
 
 		def full = param.RunAllTests ? " (Full)" : ""
-		this.DescShort = "${env.BUILD_NUMBER} - ${ this.Compiler.name }:${ this.Architecture.name }${full}"
+		this.DescShort = "${number} - ${ this.Compiler.name }:${ this.Architecture.name }${full}"
 
 		this.DescLong = """Compiler 	         : ${ this.Compiler.name } (${ this.Compiler.CXX }/${ this.Compiler.CC })
@@ -394,5 +394,5 @@
 	checkout scm
 
-	final settings = new BuildSettings(params, env.BRANCH_NAME)
+	final settings = new BuildSettings(params, env.BRANCH_NAME, env.BUILD_NUMBER)
 
 	currentBuild.description = settings.DescShort