Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision eb0938ca17404e03e83d52489de35e0dd4e7bcf3)
+++ Jenkinsfile	(revision c2cec21d33557038d0d159c7ebe761abbe834dda)
@@ -219,5 +219,5 @@
 	public String flags
 
-	CC_Desc(String name, String flags) {
+	Arch_Desc(String name, String flags) {
 		this.name  = name
 		this.flags = flags