Index: Jenkinsfile_disabled
===================================================================
--- Jenkinsfile_disabled	(revision 7030dab75c493bbd89de53cb88e496019c794ff4)
+++ Jenkinsfile_disabled	(revision a77257bee9b89057fbbd5f12095d886c5be82c4c)
@@ -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) {