Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 6802a5ff5107f1c2cfcc19d6724a0a0b922e9cca)
+++ Jenkinsfile	(revision 1e6a463aceca1d50a89d6231f02986b8fed8a883)
@@ -203,5 +203,5 @@
 			return new CC_Desc('clang', 'clang++', 'gcc-6')
 		break
-		default 
+		default :
 			error 'Unhandled compiler'
 	}
@@ -216,5 +216,5 @@
 			return '--host=i386   CXXFLAGS="-m32" CFAFLAGS="-m32"'
 		break
-		default 
+		default :
 			error 'Unhandled architecture'
 	}