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