Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision bdc154b6e045c32416e0ccb1a643a4afb0a56f0d)
+++ Jenkinsfile	(revision 8faaca1fc14d9d09c15d3aaac2d861780aa29a0c)
@@ -170,5 +170,5 @@
 	collect_git_info()
 
-	currentBuild.description = "Cforall ${gitRefName} ${compiler}:${architecture}"
+	currentBuild.description = "Cforall ${gitRefName} ${compiler.cc_name}:${arch_name}"
 }