From a4ed96897995907fa0c340be4a492f8c3f9f7f32 Mon Sep 17 00:00:00 2001
From: kevlar <kevin.a.larson@boeing.com>
Date: Tue, 6 Mar 2018 09:06:30 -0800
Subject: [PATCH] removed custom prefix from jenkinsfile configure

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 835cb2e3..be9fe8ef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
     stage('build') {
       steps {
         sh './bootstrap.sh'
-        sh './configure --prefix=/tmp/core_build'
+        sh './configure'
         sh 'make'
         sh 'make install'
       }