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