Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision e507c1135192ba6a462da510eb5a77927e5735ba)
+++ Jenkinsfile	(revision f253e4abc4cb930f9d763b85d6911ed1d02b983d)
@@ -142,4 +142,7 @@
 
 			sh "${SrcDir}/configure CXX=${Settings.Compiler.CXX} CC=${Settings.Compiler.CC} ${Settings.Architecture.flags} ${targets} --quiet"
+
+			// Configure libcfa
+			sh 'make -j 8 --no-print-directory configure'
 		}
 	}