Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 6a531abe77c465b5c3cafd6981a444ef24586410)
+++ Jenkinsfile	(revision 5992ff4dff1337b867acae8e32650d328392643f)
@@ -93,5 +93,5 @@
 		// Build outside of the src tree to ease cleaning
 		dir (BuildDir) {
-			//Configure the conpilation (Output is not relevant)
+			//Configure the compilation (Output is not relevant)
 			//Use the current directory as the installation target so nothing escapes the sandbox
 			//Also specify the compiler by hand