Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 84f53b4d668d16e5b9688280fb7713a7e054a566)
+++ Jenkinsfile	(revision b287f6772aa51a3bf58157048b72a0eea9ac4e81)
@@ -23,5 +23,5 @@
 			//Don't remove outputs for the clean and configure unless errors are present
 			sh 'make clean > /dev/null'
-			sh 'CC=gcc-4.9 CXX=g++-4.9 ./configure > /dev/null'
+			sh "CC=gcc-4.9 CXX=g++-4.9 ./configure --prefix=${env.WORKSPACE} > /dev/null"
 			sh 'make -j 8'
 
@@ -41,5 +41,5 @@
 	catch (Exception caughtError) {
 		err = caughtError
-		log_needed = false
+		log_needed = true
 		currentBuild.result = "FAILURE"