Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 6a531abe77c465b5c3cafd6981a444ef24586410)
+++ Jenkinsfile	(revision a00a2c125ed6c98b9dd8952920e10c8e5c2a5846)
@@ -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