Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f253e4abc4cb930f9d763b85d6911ed1d02b983d)
+++ Jenkinsfile	(revision 61cfae282d1a02bd80d764c7161f93eca149d899)
@@ -144,5 +144,5 @@
 
 			// Configure libcfa
-			sh 'make -j 8 --no-print-directory configure'
+			sh 'make -j 8 --no-print-directory configure-libcfa'
 		}
 	}