Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c862fae7bb21c91bf81ea7f9c580346a086fac26)
+++ Jenkinsfile	(revision dcf1979e45c41e88b207d2bab3d2cca8bc5a10d8)
@@ -114,4 +114,10 @@
 	release = Settings.RunAllTests || Settings.RunBenchmark
 	build_stage('Build : configure', true) {
+		// Configure must be run inside the tree
+		dir (SrcDir) {
+			// Generate the necessary build files
+			sh './autogen.sh'
+		}
+
 		// Build outside of the src tree to ease cleaning
 		dir (BuildDir) {