diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index caa909c..ff0de97 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -11,7 +11,7 @@ pipeline { stages { stage('Build') { steps { - sh 'make -C aimee-os CONFIGDIR=${PWD} O=/build' + sh 'env -i PATH="${PATH}" make -C aimee-os CONFIGDIR=${PWD} O=/build' } } }