Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision a63ad8077691f1dda1895bdc57498104bcbc0416)
+++ Jenkinsfile	(revision fd61a4f94674c02c8ff6b1fa3f147ce9f4862ac6)
@@ -19,5 +19,5 @@
 		//escapes the sandbox
 		//Also specify the compiler by hand
-		sh "./configure CXX=${currentCC.cpp_cc} --with-backend-compiler=${currentCC.cfa_backend_cc} --prefix=${install_dir} > /dev/null"
+		sh "./configure CXX=${currentCC.cpp_cc} --with-backend-compiler=${currentCC.cfa_backend_cc} --prefix=${install_dir} --enable-silent-rules --quiet"
 
 		//Compile the project
@@ -27,5 +27,5 @@
 
 		//Run the tests from the example directory
-		dir ('src/examples') {
+		dir ('src/tests') {
 			sh './runTests.sh'
 		}