From 578a96eff7c1d0057e8358d20032b90218b8fbed Mon Sep 17 00:00:00 2001 From: Olof hagsand Date: Sun, 17 Jun 2018 23:12:39 +0200 Subject: [PATCH] Jenkinsfile sudo --- test/Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/Jenkinsfile b/test/Jenkinsfile index eb9f85c5..01219556 100644 --- a/test/Jenkinsfile +++ b/test/Jenkinsfile @@ -19,10 +19,10 @@ node { sh 'make' } stage('Make install') { - sh 'make install' + sh 'sudo make install' } stage('Make install-include') { - sh 'make install-include' + sh 'sudo make install-include' } stage('Make Example') { sh 'cd example'