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