Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 3f09a7056cd27799ac5df8b47fd9b530ce2ff616)
+++ Jenkinsfile	(revision 403ad1535ad83eeb7b8a5c0352e9d2a6c10cec9e)
@@ -213,5 +213,5 @@
 		break
 		default :
-			error 'Unhandled compiler'
+			error 'Unhandled compiler : ${cc}'
 	}
 }
@@ -226,5 +226,5 @@
 		break
 		default :
-			error 'Unhandled architecture'
+			error 'Unhandled architecture : ${arch}'
 	}
 }