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