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