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