From 14ad62d334444412f520e176714af3eed2ab8f70 Mon Sep 17 00:00:00 2001 From: kevlar Date: Tue, 6 Mar 2018 12:55:12 -0800 Subject: [PATCH] Set make install to run with sudo --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index be9fe8ef..c0c5a299 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { sh './bootstrap.sh' sh './configure' sh 'make' - sh 'make install' + sh 'sudo make install' } } stage('test') {