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